Dualities between alternative semantics for logic programming and nonmonotonic reasoning
- 1 January 1993
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 10 (3) , 399-420
- https://doi.org/10.1007/bf00881799
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- The relationship between stable, supported, default and autoepistemic semantics for general logic programsTheoretical Computer Science, 1992
- Stable and extension class theory for logic programs and default logicsJournal of Automated Reasoning, 1992
- Stable Theories in Autoepistemic LogicFundamenta Informaticae, 1989
- On the relation between default and autoepistemic logicArtificial Intelligence, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Nonmonotonic Logic IIJournal of the ACM, 1982
- A logic for default reasoningArtificial Intelligence, 1980
- Power domainsJournal of Computer and System Sciences, 1978