Operational concepts of nonmonotonic logics. II: Autoepistemic logic

DOI10.1023/A:1006516126932zbMath0913.03034OpenAlexW1522066533MaRDI QIDQ1272349

Grigoris Antoniou, Volker Sperschneider

Publication date: 7 June 1999

Published in: Artificial Intelligence Review (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006516126932

zbMATH Keywords

knowledge representationautoepistemic logicexpansionsnonmonotonic reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

This page was built for publication: Operational concepts of nonmonotonic logics. II: Autoepistemic logic