Decision procedure for autoepistemic logic
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 675-684
- https://doi.org/10.1007/bfb0012865
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Nonmonotonic Logic IIJournal of the ACM, 1982
- Non-monotonic logic IArtificial Intelligence, 1980
- First-Order LogicPublished by Springer Nature ,1968