Nonmonotonic reasoning
- 1 January 1990
- journal article
- research article
- Published by Springer Nature in Artificial Intelligence Review
- Vol. 4 (3) , 163-210
- https://doi.org/10.1007/bf00140676
Abstract
No abstract availableKeywords
This publication has 48 references indexed in Scilit:
- Eliminating the fixed predicates from a circumscriptionArtificial Intelligence, 1989
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished by Elsevier ,1988
- Negation as Failure Using Tight Derivations for General Logic ProgramsPublished by Elsevier ,1988
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Negation in Logic ProgrammingPublished by Elsevier ,1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- An assumption-based TMSArtificial Intelligence, 1986
- On Closed World Data BasesPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978
- A Useful Four-Valued LogicPublished by Springer Nature ,1977