Preferential Reasoning for Modal Logics
From MaRDI portal
Publication:2825407
DOI10.1016/j.entcs.2011.10.006zbMath1347.03042WikidataQ113318201 ScholiaQ113318201MaRDI QIDQ2825407
Ivan Varzinczak, Katarina Britz, Thomas Andreas Meyer
Publication date: 7 October 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2011.10.006
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68Q55: Semantics in the theory of computing
Related Items
From KLM-style conditionals to defeasible modalities, and back, Unnamed Item, Defeasible linear temporal logic, Preferences in artificial intelligence, Preferential accessibility and preferred worlds, Constrained consequence, \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions, Contextual rational closure for defeasible \(\mathcal{ALC} \), On rational entailment for propositional typicality logic, Preferential Reasoning for Modal Logics, A Language for Default Reasoning about Actions, PTL: A Propositional Typicality Logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logical framework for default reasoning
- Preferential reasoning in the perspective of Poole default logic
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- Defeasible deontic logic
- Another perspective on default reasoning
- Preferential Reasoning for Modal Logics
- Defeasible Inheritance-Based Description Logics
- ALC + T: a Preferential Extension of Description Logics
- A Modularity Approach for a Fragment of $\mathcal{ALC}$
- Regression in Modal Logic
- Handling defeasibilities in action domains
- Rational Closure for Defeasible Description Logics
- On Action Theory Change