Inconsistency measurement in LTL_f based on minimal inconsistent sets and minimal correction sets
From MaRDI portal
Publication:6979918
Cites work
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 6902558 (Why is no real title available?)
- A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure
- A theory of diagnosis from first principles
- ASP-Core-2 input language format
- Answer set programming
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Computing MUS-based inconsistency measures
- Dimensional inconsistency measures and postulates in spatio-temporal databases
- Fast, flexible MUS enumeration
- General information spaces: measuring inconsistency, rationality postulates, and complexity
- Inconsistency Tolerance
- Inconsistency measurement
- Inconsistency measurement based on variables in minimal unsatisfiable subsets
- Measuring inconsistency in some branching time logics
- On measuring inconsistency in definite and indefinite databases with denial constraints
- On measuring inconsistency in graph databases with regular path constraints
- On the complexity of inconsistency measurement
- On the computational cost of disjunctive logic programming: Propositional case
- SAT meets tableaux for linear temporal logic satisfiability
- SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking
- Solution Enumeration for Projected Boolean Search Problems
- Stream-based inconsistency measurement
This page was built for publication: Inconsistency measurement in \(\mathrm{LTL_f}\) based on minimal inconsistent sets and minimal correction sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6979918)
