Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Deductive language

A deductive language is a computer programming language in which the program is a collection of predicates ('facts') and rules that connect them… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Query answering on a wide and heterogeneous environment such as the Web can return a large number of results that can be hardly… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2010
2010
A characteristic feature of scientific knowledge is the high degree of coherence and connectedness of its conceptual structure… Expand
Is this relevant?
2009
2009
Space-based computing environments are based around numerous, discrete sets of information with internal reasoning, interaction… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This article presents results from a recent study that isolated grammar instruction that is deductive (i.e., involving rule… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2002
2002
This paper shows that different "meta-model-checking" analyses can be conducted efficiently on a generic data structure we call a… Expand
Is this relevant?
2001
1997
1997
The ROCK and ROLL database system cleanly integrates deductive and object-oriented capabilities by defining an imperative… Expand
Is this relevant?
1995
1995
According to rumors, the early hybrids of object-oriented and deductive languages were mutants that escaped from secret… Expand
Is this relevant?
1993
1993
We argue that we can use deductive databases to support data visualization. In particular we show how we have used the deductive… Expand
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1976
Highly Cited
1976
SummaryMy view is that the relevant alternative position should be conceived of as in two parts:(1)With respect to many… Expand
Is this relevant?