Reasoning with System W and infeasible worlds
From MaRDI portal
Cites work
- A logic for default reasoning
- A reconstruction of multipreference closure
- A thorough axiomatization of a principle of conditional preservation in belief revision
- An implementation of nonmonotonic reasoning with system W
- Another perspective on default reasoning
- Approximations of system W for inference from strongly and weakly consistent belief bases
- Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
- Change, choice and inference. A study of belief revision and nonmonotonic reasoning
- Characterizing multipreference closure with system W
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Core c-representations and c-core closure for conditional belief bases
- scientific article; zbMATH DE number 1537944 (Why is no real title available?)
- Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions
- La prévision: ses lois logiques, ses sources subjectives.
- Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Nonmonotonic reasoning, preferential models and cumulative logics
- Normal forms of conditional knowledge bases respecting entailments and renamings
- Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
- On the antecedent normal form of conditional knowledge bases
- On the logic of iterated belief revision
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Properties of system W and its relationships to other inductive inference operators
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Rationality, transitivity, and contraposition
- Relevance in belief revision
- Semantic characterization of rational closure: from propositional logic to description logics
- Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
- Systematic generation of conditional knowledge bases up to renaming and equivalence
- Taking defeasible entailment beyond rational closure
- What does a conditional knowledge base entail?
Cited in
(2)
This page was built for publication: Reasoning with System W and infeasible worlds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6903886)
