From KLM-style conditionals to defeasible modalities, and back (Q5375876): Difference between revisions

@@ Property / cites work @@
+Knowledge Means ‘All’, Belief Means ‘Most’
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+PTL: A Propositional Typicality Logic
@@ Property / cites work: PTL: A Propositional Typicality Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional logics of normality: A modal approach
@@ Property / cites work: Conditional logics of normality: A modal approach / rank @@
+Normal rank
@@ Property / cites work @@
+AI 2009: Advances in artificial intelligence. 22nd Australasian joint conference, Melbourne, Australia, December 1--4, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Preferential Reasoning for Modal Logics
@@ Property / cites work: Preferential Reasoning for Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Role Defeasibility in Description Logics
+Normal rank
@@ Property / cites work @@
+Preferential accessibility and preferred worlds
@@ Property / cites work: Preferential accessibility and preferred worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing action and change in modal logic I: the frame problem
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+A first-order conditional logic for prototypical properties
+Normal rank
@@ Property / cites work @@
+An approach to default reasoning based on a first-order conditional logic: Revised report
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank
@@ Property / cites work @@
+Plausibility measures and default reasoning
@@ Property / cites work: Plausibility measures and default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Preferential Description Logics
@@ Property / cites work: Preferential Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Typicality in Preferential Description Logics
+Normal rank
@@ Property / cites work @@
+Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+ALC + T: a Preferential Extension of Description Logics
+Normal rank
@@ Property / cites work @@
+A Minimal Model Semantics for Nonmonotonic Reasoning
+Normal rank
@@ Property / cites work @@
+A non-monotonic description logic for reasoning about typicality
+Normal rank
@@ Property / cites work @@
+Semantic characterization of rational closure: from propositional logic to description logics
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+An Analysis of some Deontic Logics
@@ Property / cites work: An Analysis of some Deontic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5332215
@@ Property / cites work: Q5332215 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+From knowledge-based programs to graded belief-based programs. I: On-line reasoning
+Normal rank
@@ Property / cites work @@
+What does a conditional knowledge base entail?
@@ Property / cites work: What does a conditional knowledge base entail? / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768759
@@ Property / cites work: Q2768759 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Analyses for Dyadic Deontic Logic
@@ Property / cites work: Semantic Analyses for Dyadic Deontic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Five faces of minimality
@@ Property / cites work: Five faces of minimality / rank @@
+Normal rank
@@ Property / cites work @@
+On vague notions and modalities: a modular approach
+Normal rank