scientific article; zbMATH DE number 1373580
From MaRDI portal
Publication:4704216
zbMath0932.03024MaRDI QIDQ4704216
Publication date: 6 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complexityautoepistemic logicnonmonotonic reasoningpolynomial hierarchyentailmentnegation as failurenegative introspectionpropositional fragment of the logic of minimal belief and negation as failure
Related Items
Linking Open-World Knowledge Bases Using Nonmonotonic Rules ⋮ Multi-modal nonmonotonic logics of minimal knowledge