Scaling up nonmonotonic c-inference via partial MaxSAT problems
From MaRDI portal
Publication:6630195
DOI10.1007/978-3-031-56940-1_10MaRDI QIDQ6630195
Martin von Berg, C. Beierle, Arthur Sanin
Publication date: 30 October 2024
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nonmonotonic reasoning, preferential models and cumulative logics
- A thorough axiomatization of a principle of conditional preservation in belief revision
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- Towards a better understanding of (partial weighted) MaxSAT proof systems
- Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
- RC2: an Efficient MaxSAT Solver
- Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
- Representing nonmonotonic inference based on c-representations as an SMT problem
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
Related Items (1)
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)
