Representing nonmonotonic inference based on c-representations as an SMT problem
From MaRDI portal
Publication:6587922
DOI10.1007/978-3-031-45608-4_17MaRDI QIDQ6587922
Arthur Sanin, Martin von Berg, C. Beierle
Publication date: 15 August 2024
conditionalsatisfiability modulo theoriesconditional knowledge basec-inferencec-representationSMT with linear arithmetic
Cites Work
- The logic of conditionals. An application of probability to deductive logic
- A thorough axiomatization of a principle of conditional preservation in belief revision
- Compilation of conditional knowledge bases for computing c-inference relations
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Conditional descriptor revision and its modelling by a CSP
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Descriptor revision
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- A kinematics principle for iterated revision
- Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
- Possibilistic and standard probabilistic semantics of conditional knowledge bases
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation
Related Items (2)
Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference ⋮ Scaling up nonmonotonic c-inference via partial MaxSAT problems
This page was built for publication: Representing nonmonotonic inference based on c-representations as an SMT problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587922)
