Autoepistemic logic of first order and its expressive power
- 1 January 1994
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 13 (1) , 69-82
- https://doi.org/10.1007/bf00881912
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Logic program semantics and circumscription of autoepistemic theoriesInformation Processing Letters, 1994
- Dualities between alternative semantics for logic programming and nonmonotonic reasoningJournal of Automated Reasoning, 1993
- Autoepistemic circumscription and logic programmingJournal of Automated Reasoning, 1993
- 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
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Semantics of disjunctive logic programs and deductive databasesPublished by Springer Nature ,1991
- AutocircumscriptionArtificial Intelligence, 1988
- On the relation between default and autoepistemic logicArtificial Intelligence, 1988
- A logic for default reasoningArtificial Intelligence, 1980