Comparison of SAT-based and ASP-based algorithms for inconsistency measurement
From MaRDI portal
Cites work
- A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure
- A logic for default reasoning
- A parametric approach for smaller and better encodings of cardinality constraints
- A tutorial on hybrid answer set solving with \textit{clingo}
- Analysing inconsistent information using distance-based measures
- Answer set programming
- Applications of SAT Solvers to Cryptanalysis of Hash Functions
- ASP-Core-2 input language format
- aspartame: solving constraint satisfaction problems with answer set programming
- Classifications for inconsistent theories
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Conflict-driven answer set solving: from theory to practice
- Distance-based measures of inconsistency
- Encoding argument graphs in logic
- Forgetting-Based Inconsistency Measure
- Handbook of knowledge representation.
- scientific article; zbMATH DE number 6902558 (Why is no real title available?)
- scientific article; zbMATH DE number 5493266 (Why is no real title available?)
- scientific article; zbMATH DE number 3313427 (Why is no real title available?)
- Inconsistency measurement
- Inconsistency measurement based on variables in minimal unsatisfiable subsets
- Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
- Measuring and computing database inconsistency via repairs
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- Measuring inconsistency
- Measuring inconsistency in information
- Multi-shot ASP solving with clingo
- On measuring inconsistency using maximal consistent sets
- On Solving the Partial MAX-SAT Problem
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- On the complexity of inconsistency measurement
- On the expressivity of inconsistency measures
- Progress in clasp series 3
- Stream-based inconsistency measurement
- The logic of paradox
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
- Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms
- Unsatisfiability-based optimization in clasp
- Using inconsistency measures for estimating reliability
This page was built for publication: Comparison of SAT-based and ASP-based algorithms for inconsistency measurement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7014304)
