Scaling up nonmonotonic c-inference via partial MaxSAT problems

DOI10.1007/978-3-031-56940-1_10MaRDI QIDQ6630195zbMATH OpenFDO

Authors Martin von Berg, Arthur Sanin, C. Beierle

Publication date 30 October 2024

Full work available at URL https://doi.org/10.1007/978-3-031-56940-1_10

zbMATH Keywords

belief basec-inferenceconditionalnonmonotonic reasoningpartial MaxSAT

Mathematics Subject Classification ID

Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites work

• A thorough axiomatization of a principle of conditional preservation in belief revision
• 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 1537944 (Why is no real title available?)
• scientific article; zbMATH DE number 3321249 (Why is no real title available?)
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Nonmonotonic reasoning, preferential models and cumulative logics
• 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
• 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

Cited in

(3)

• Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
• The InfOCF library for reasoning with conditional belief bases
• Scaling up reasoning from conditional belief bases

This page was built for publication: Scaling up nonmonotonic c-inference via partial MaxSAT problems

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