Publication:4216774
From MaRDI portal
zbMath0911.03013MaRDI QIDQ4216774
Publication date: 3 November 1998
computational complexity; autoepistemic logic; default logic; semantics; nonmonotonic reasoning; logic programming; cumulativity; circumscription; consistency-based diagnosis
68Q25: Analysis of algorithms and problem complexity
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B70: Logic in computer science
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N17: Logic programming
Related Items