Publication:5202996
From MaRDI portal
zbMath0726.03022MaRDI QIDQ5202996
Publication date: 1991
modal logic; nonmonotonic logic; knowledge representation; Kripke model; commonsense reasoning; negation as failure
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B80: Other applications of logic
Related Items
More on bounding introspection in modal nonmonotonic logics, Hyperequivalence of logic programs with respect to supported models, Minimal knowledge problem: A new approach, Multi-modal nonmonotonic logics of minimal knowledge