An implementation of nonmonotonic reasoning with c-representations using an SMT solver
From MaRDI portal
Cites work
- A formal analysis of relevance
- A kinematics principle for iterated revision
- A thorough axiomatization of a principle of conditional preservation in belief revision
- Another perspective on default reasoning
- Compilation of conditional knowledge bases for computing c-inference relations
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- Conditional descriptor revision and its modelling by a CSP
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Counterfactuals.
- Descriptor revision
- Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Nonmonotonic reasoning, preferential models and cumulative logics
- Plausible reasoning and plausibility monitoring in language comprehension
- Possibilistic and standard probabilistic semantics of conditional knowledge bases
- 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
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Ranking kinematics for revising by contextual information
- Reasoning with System W and infeasible worlds
- Representing nonmonotonic inference based on c-representations as an SMT problem
- Semantic splitting of conditional belief bases
- Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
- Splitting techniques for conditional belief bases in the context of c-representations
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
- The logic of conditionals. An application of probability to deductive logic
- The possibilistic handling of irrelevance in exception-tolerant reasoning
- What does a conditional knowledge base entail?
Cited in
(2)
This page was built for publication: An implementation of nonmonotonic reasoning with c-representations using an SMT solver
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7036262)
