|
570
|
Towards a theory of declarative knowledge
– K R Apt, H A Blair, A Walker
- 1988
|
|
995
|
Principles of Database and Knowledge-Base Systems, vol
– J D Ullman
- 1989
|
|
855
|
Negation as Failure
– K L Clark
- 1978
|
|
1739
|
Foundations of Logic Programming
– J W Lloyd
- 1984
|
|
641
|
The Semantics of Predicate Logic as a Programming Language
– M. H. Van Emden, R. A. Kowalski
- 1976
|
|
70
|
Clause Queries and Generalizations
– Horn
- 1985
|
|
1263
|
The Stable Model Semantics For Logic Programming
– Michael Gelfond, Vladimir Lifschitz
- 1988
|
|
203
|
Towards a logical reconstruction of relational database theory
– R Reiter
- 1984
|
|
124
|
Negation as failure using tight derivations for general logic programs
– Allen Van Gelder
- 1988
|
|
112
|
Logic for improving integrity checking in relational data bases
– J-M Nicolas
- 1982
|
|
732
|
Circumscription - A Form of Non-Monotonic Reasoning
– John McCarthy
- 1980
|
|
347
|
Bilattices and the Semantics of Logic Programming
– Melvin Fitting
- 1989
|
|
54
|
Disjunctive Deductive Databases
– José Alberto Fernández, Jack Minker
- 1994
|
|
101
|
On Closed World databases
– R Reiter
- 1978
|
|
277
|
Magic sets and other strange ways to implement logic programs
– F Bancilhon, Y Sagiv, J Ullman
- 1986
|
|
485
|
The Complexity of Relational Query Languages
– M Vardi
- 1982
|
|
90
|
On the relationship between circumscription and negation as failure
– M Gelfond, H Przymusinska, T C Przymusinski
- 1989
|
|
159
|
Logic-Based Approach to Semantic Query Optimization
– U Chakravarthy, J Grant, J Minker
- 1990
|
|
127
|
On indefinite databases and the closed world assumption
– J Minker
- 1987
|
