Journal of the ACM Bibliography

Wiktor Marek and Miroslaw Truszczynski. Autoepistemic logic. Journal of the ACM, 38(3):588-619, July 1991. [BibTeX entry]
Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic -- mechanical theorem proving, logic programming; I.2.3 [Artificial Intelligence]: Deduction and Theorem Proving -- nonmonotonic reasoning and belief revision

General Terms: Theory

Additional Key Words and Phrases: Autoepistemic logic, expansion, logic programming, NP-completeness, stratification

Selected papers that cite this one


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database