Scaling up reasoning from conditional belief bases

DOI10.1007/978-3-031-76235-2_3MaRDI QIDQ6979934zbMATH OpenFDO

Authors C. Beierle, Jonas Haldimann, Arthur Sanin, Leon Schwarzer, Aron Spang, Lars-Phillip Spiegel, Martin von Berg

Publication date 23 May 2025

Full work available at URL https://doi.org/10.1007/978-3-031-76235-2_3

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites work

• A thorough axiomatization of a principle of conditional preservation in belief revision
• An implementation of nonmonotonic reasoning with c-representations using an SMT solver
• An implementation of nonmonotonic reasoning with system W
• Automated non-monotonic reasoning in System \textbf{P}
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• scientific article; zbMATH DE number 3026923 (Why is no real title available?)
• NESCOND: an implementation of nested sequent calculi for conditional logics
• 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
• 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
• RC2: an efficient MaxSAT solver
• Representing nonmonotonic inference based on c-representations as an SMT problem
• Scaling up nonmonotonic c-inference via partial MaxSAT problems
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
• Towards a better understanding of (partial weighted) MaxSAT proof systems
• What does a conditional knowledge base entail?

Cited in

(1)

• The InfOCF library for reasoning with conditional belief bases

This page was built for publication: Scaling up reasoning from conditional belief bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6979934)