Publication:4216774

From MaRDI portal
Revision as of 15:20, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath0911.03013MaRDI QIDQ4216774

Tomi Janhunen

Publication date: 3 November 1998


zbMATH Keywords

computational complexity; autoepistemic logic; default logic; semantics; nonmonotonic reasoning; logic programming; cumulativity; circumscription; consistency-based diagnosis


Mathematics Subject Classification ID

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

Evaluating the effect of semi-normality on the expressiveness of defaults



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4216774&oldid=18078153"
Powered by MediaWiki