Adaptively applying modus ponens in conditional logics of normality (Q4583150): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2166691384
@@ Property / OpenAlex ID: W2166691384 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of conditionals. An application of probability to deductive logic
+Normal rank
@@ Property / cites work @@
+General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
+Normal rank
@@ Property / cites work @@
+A universal logic approach to adaptive logics
@@ Property / cites work: A universal logic approach to adaptive logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5188172
@@ Property / cites work: Q5188172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406656
@@ Property / cites work: Q4406656 / rank @@
+Normal rank
@@ Property / cites work @@
+The lexicographic closure as a revision process
@@ Property / cites work: The lexicographic closure as a revision process / 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 @@
+Unifying default reasoning and belief revision in a modal framework
+Normal rank
@@ Property / cites work @@
+Labelled Natural Deduction for Conditional Logics of Normality
+Normal rank
@@ Property / cites work @@
+Basic conditional logic
@@ Property / cites work: Basic conditional logic / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to default reasoning based on a first-order conditional logic: Revised report
+Normal rank
@@ Property / cites work @@
+On a rule-based interpretation of default conditionals
+Normal rank
@@ Property / cites work @@
+Q4012236
@@ Property / cites work: Q4012236 / rank @@
+Normal rank
@@ Property / cites work @@
+An argument-based approach to reasoning with specificity
+Normal rank
@@ Property / cites work @@
+Default extensions: Dealing with computer information
+Normal rank
@@ Property / cites work @@
+Plausibility measures and default reasoning
@@ Property / cites work: Plausibility measures and default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4200041
@@ Property / cites work: Q4200041 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Deconstruction of Access Control Logics
@@ Property / cites work: A Modal Deconstruction of Access Control Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional entailment: bridging two approaches to default reasoning.
+Normal rank
@@ Property / cites work @@
+A Conditional Constructive Logic for Access Control and Its Sequent Calculus
+Normal rank
@@ Property / cites work @@
+Analytic Tableau Calculi for KLM Rational Logic R
@@ Property / cites work: Analytic Tableau Calculi for KLM Rational Logic R / rank @@
+Normal rank
@@ Property / cites work @@
+A Nonmonotonic Extension of KLM Preferential Logic P
+Normal rank
@@ Property / cites work @@
+Reasoning about Typicality in Preferential Description Logics
+Normal rank
@@ Property / cites work @@
+ALC + T: a Preferential Extension of Description Logics
+Normal rank
@@ Property / cites work @@
+Deontic Logic in Computer Science
@@ Property / cites work: Deontic Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Skepticism and floating conclusions
@@ Property / cites work: Skepticism and floating conclusions / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Q4028809
@@ Property / cites work: Q4028809 / rank @@
+Normal rank
@@ Property / cites work @@
+Another perspective on default reasoning
@@ Property / cites work: Another perspective on default reasoning / rank @@
+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 @@
+Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance nets
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q3493279
@@ Property / cites work: Q3493279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900019
@@ Property / cites work: Q3900019 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481677
@@ Property / cites work: Q3481677 / rank @@
+Normal rank
@@ Property / cites work @@
+The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
+Normal rank
@@ Property / cites work @@
+Q4925872
@@ Property / cites work: Q4925872 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Tableaux for Conditional Logics with Cautious Monotonicity
+Normal rank
@@ Property / cites work @@
+Q4298360
@@ Property / cites work: Q4298360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086694
@@ Property / cites work: Q3086694 / rank @@
+Normal rank
@@ Property / cites work @@
+A deontic logic framework allowing for factual detachment
+Normal rank
@@ Property / cites work @@
+Belief revision, conditional logic and nonmonotonic reasoning
+Normal rank