Counterfactuals
From MaRDI portal
Publication:5903759
DOI10.1016/0004-3702(86)90067-6zbMath0655.03011OpenAlexW4239069293MaRDI QIDQ5903759
Publication date: 1986
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(86)90067-6
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (48)
Nonmonotonic reasoning: From finitary relations to infinitary inference operations ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Conditional logics of normality: A modal approach ⋮ In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals ⋮ A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ Counterfactual reasoning by (means of) defaults ⋮ Diagnosing multiple faults ⋮ A theory of diagnosis from first principles ⋮ Reasoning about action. I: A possible worlds approach ⋮ Reasoning about action. II: The qualification problem ⋮ Nested Sequent Calculi for Conditional Logics ⋮ Sequent Systems for Lewis’ Conditional Logics ⋮ Belief contraction in the context of the general theory of rational choice ⋮ Circumscriptive semantics for updating knowledge bases ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ Another perspective on default reasoning ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ ALX, an action logic for agents with bounded rationality ⋮ Toward credible belief base revision ⋮ Reducing belief revision to circumscription (and vice versa) ⋮ Situated conditional reasoning ⋮ Fast algorithms for revision of some special propositional knowledge bases ⋮ Causality and maximum entropy updating ⋮ Nonmonotonic reasoning, preferential models and cumulative logics ⋮ Weak AGM postulates and strong Ramsey test: A logical formalization ⋮ Redundancy in logic. I: CNF propositional formulae ⋮ The size of a revised knowledge base ⋮ EXPRESSIBLE SEMANTICS FOR EXPRESSIBLE COUNTERFACTUALS ⋮ What does a conditional knowledge base entail? ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ AN ARGUMENT FOR CONJUNCTION CONDITIONALIZATION ⋮ Revision algebra semantics for conditional logic ⋮ A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS ⋮ Belief revision and update: Complexity of model checking ⋮ Reasoning under inconsistency: a forgetting-based approach ⋮ Iterated belief revision ⋮ Approximate coherence-based reasoning ⋮ A solver for QBFs in negation normal form ⋮ Reaching agreements through argumentation: a logical model and implementation ⋮ Standard Sequent Calculi for Lewis’ Logics of Counterfactuals ⋮ Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting ⋮ Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches ⋮ Explanations, belief revision and defeasible reasoning. ⋮ Abduction as belief revision ⋮ Systematic withdrawal ⋮ A theory of measurement in diagnosis from first principles ⋮ \(\text{DA}^2\) merging operators ⋮ Conditional probability and defeasible inference
Cites Work
- Diagnosing multiple faults
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Incidence calculus: A mechanism for probabilistic reasoning
- STRIPS: A new approach to the application of theorem proving to problem solving
- On Cores and Prime Implicants of Truth Functions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Counterfactuals
