Modal logic for default reasoning
From MaRDI portal
Publication:1356222
DOI10.1007/BF01531081zbMath0871.03009MaRDI QIDQ1356222
Victor W. Marek, Miroslaw Truszczynski
Publication date: 4 June 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
modal logic; autoepistemic logic; default logic; semantics; nonmonotonic reasoning; iterative expansion; logic of necessitation
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
Related Items
Modal logic based theory for non-monotonic reasoning, Nonmonotonic reasoning based on incomplete logic, Evaluating the effect of semi-normality on the expressiveness of defaults, On the complexity of propositional knowledge base revision, updates, and counterfactuals, A logic of knowledge and justified assumption, On the relation between default and modal nonmonotonic reasoning, Minimal knowledge problem: A new approach, Interpretations of open default theories in non-monotonic logics, Revision programming, Definability and commonsense reasoning, Modal nonmonotonic logics demodalized
Cites Work
- Semantical considerations on nonmonotonic logic
- Formalizing nonmonotonic reasoning systems
- On the relation between default and autoepistemic logic
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- Nonmonotonic Logic II
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item