Autoepistemic logic. (English) Zbl 0799.68176
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 |