General logical databases and programs: Default logic semantics and stratification
- 1 March 1991
- journal article
- Published by Elsevier in Information and Computation
- Vol. 91 (1) , 15-54
- https://doi.org/10.1016/0890-5401(91)90073-b
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- On the declarative and procedural semantics of logic programsJournal of Automated Reasoning, 1989
- Minimalism, justification and non-monotonicity in deductive databasesJournal of Computer and System Sciences, 1989
- Considerations on default logic: an alternative approach1Computational Intelligence, 1988
- Negation as inconsistency. IThe Journal of Logic Programming, 1986
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Saturation, nonmonotonic reasoning and the closed-world assumptionArtificial Intelligence, 1985
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Non-monotonic logic IArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980