Negation as failure in the head
- 1 April 1998
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 35 (1) , 39-78
- https://doi.org/10.1016/s0743-1066(97)10001-2
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- A fixpoint characterization of abductive logic programsThe Journal of Logic Programming, 1996
- Minimal belief and negation as failureArtificial Intelligence, 1994
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- Hypothetical reasoning in logic programsThe Journal of Logic Programming, 1994
- A possible world semantics for disjunctive databasesIEEE Transactions on Knowledge and Data Engineering, 1993
- Complexity Results for Nonmonotonic LogicsJournal of Logic and Computation, 1992
- All I know: A study in autoepistemic logicArtificial Intelligence, 1990
- On the relationship between circumscription and negation as failureArtificial Intelligence, 1989
- On the relation between default and autoepistemic logicArtificial Intelligence, 1988
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980