The following pages link to Counterfactuals (Q5903759):
Displayed 48 items.
- Iterated belief revision (Q732262) (← links)
- \(\text{DA}^2\) merging operators (Q814605) (← links)
- Conditional probability and defeasible inference (Q815009) (← links)
- Causality and maximum entropy updating (Q922467) (← links)
- Reasoning under inconsistency: a forgetting-based approach (Q991019) (← links)
- A solver for QBFs in negation normal form (Q1020501) (← links)
- Diagnosing multiple faults (Q1101418) (← links)
- A theory of diagnosis from first principles (Q1102126) (← links)
- Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
- Reasoning about action. II: The qualification problem (Q1103420) (← links)
- Nonmonotonic reasoning, preferential models and cumulative logics (Q1174512) (← links)
- What does a conditional knowledge base entail? (Q1193479) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- Revision algebra semantics for conditional logic (Q1207343) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- A theory of measurement in diagnosis from first principles (Q1321062) (← links)
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations (Q1327479) (← links)
- Unifying default reasoning and belief revision in a modal framework (Q1330669) (← links)
- Conditional logics of normality: A modal approach (Q1330670) (← links)
- Counterfactual reasoning by (means of) defaults (Q1353877) (← links)
- Circumscriptive semantics for updating knowledge bases (Q1360687) (← links)
- Modeling belief in dynamic systems. I: Foundations (Q1389534) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- Fast algorithms for revision of some special propositional knowledge bases (Q1415946) (← links)
- Explanations, belief revision and defeasible reasoning. (Q1852848) (← links)
- Abduction as belief revision (Q1855234) (← links)
- Systematic withdrawal (Q1863960) (← links)
- Another perspective on default reasoning (Q1924825) (← links)
- The size of a revised knowledge base (Q1978467) (← links)
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals (Q2398203) (← links)
- Weak AGM postulates and strong Ramsey test: A logical formalization (Q2457649) (← links)
- Redundancy in logic. I: CNF propositional formulae (Q2457681) (← links)
- ALX, an action logic for agents with bounded rationality (Q2674198) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- EXPRESSIBLE SEMANTICS FOR EXPRESSIBLE COUNTERFACTUALS (Q3005999) (← links)
- A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics <i>VC</i> and <i>VCS</i> (Q3043113) (← links)
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches (Q3128369) (← links)
- In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals (Q3451170) (← links)
- A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)
- Belief contraction in the context of the general theory of rational choice (Q4283076) (← links)
- Approximate coherence-based reasoning (Q4453903) (← links)
- Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting (Q4989324) (← links)
- AN ARGUMENT FOR CONJUNCTION CONDITIONALIZATION (Q5414132) (← links)
- Belief revision and update: Complexity of model checking (Q5943121) (← links)
- Toward credible belief base revision (Q6088376) (← links)
- Situated conditional reasoning (Q6161506) (← links)