Inconsistency measures for disjunctive logic programs under answer set semantics

MaRDI QIDQ5226733zbMATH OpenFDO

Authors Markus Ulbricht, Matthias Thimm, Gerhard Brewka

Publication date 1 August 2019

Mathematics Subject Classification ID

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

Recommendations

• Measuring inconsistency in answer set programs
• On the evaluation of inconsistency measures
• On the complexity of inconsistency measurement
• Handling and measuring inconsistency in non-monotonic logics
• Measuring inconsistency with many-valued logics

Cited in

(12)

• A dissimilarity-based framework for generating inconsistency-tolerant logics
• Strong inconsistency
• On the complexity of inconsistency measurement
• Measuring inconsistency in answer set programs
• Measuring instability in normal residuated logic programs: discarding information
• Inconsistency measurement
• Characterising and explaining inconsistency in logic programs
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• A Measure of Inconsistency for Simple Decision Systems over Ontological Graphs
• scientific article; zbMATH DE number 6261542 (Why is no real title available?)
• Measuring inconsistency in generalized propositional logic extended with nonunary operators
• Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation

This page was built for publication: Inconsistency measures for disjunctive logic programs under answer set semantics

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