×
Marek, Wiktor; Truszczynski, Miroslaw

Autoepistemic logic. (English) Zbl 0799.68176

J. Assoc. Comput. Mach. 38, No. 3, 588-619 (1991).

Cited in 88 Documents

MSC:

68T27 Logic in artificial intelligence
68N17 Logic programming
03B45 Modal logic (including the logic of norms)
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68Q25 Analysis of algorithms and problem complexity

Keywords:

mechanical theorem proving; nonmonotonic reasoning; belief revision; expansion; logic programming; NP-completeness; stratification; autoepistemic logic
Cite Review PDF
Full Text: DOI