Three-valued nonmonotonic formalisms and semantics of logic programs
References (39)
- et al.
Horn clause queries and generalizations
J. Logic Program
(1985) A Kripke-Kleene semantics for logic programs
J. Logic Program.
(1985)- et al.
On the relationship between circumscription and negation as failure
Artif. Intell.
(1989) Negation in logic programming
J. Logic Program.
(1987)On the satisfiability of circumscription
Artif. Intell.
(1986)On the declarative semantics of logic programs with negation
Circumscription—a form of non-monotonic reasoning
Artif. Intell.
(1980)Applications of circumscription to formalizing common-sense knowledge
Artif. Intell.
(1986)Semantic considerations on nonmonotonic logic
Artif. Intell.
(1985)On the declarative semantics of stratified deductive databases and logic programs
Nonmonotonic reasoning
The well-founded semantics for general logic programs
J. ACM
(1990)
Towards a theory of declarative knowledge
General logical databases and programs: default logic semantics and stratification
J. Inf. Comput.
(1988)
Negation as failure
On stratified autoepistemic theories
Compiling circumscriptive theories into logic programs
The stable model semantics for logic programming
Completeness of a top-down query evaluation procedure for stratified databases
Cited by (0)
- ∗
The author acknowledges support from the National Science Foundation under grant #IRI-89-10729 and from the Army Research Office under grant #27079-MA-SAH.
Copyright © 1991 Published by Elsevier B.V.