Inconsistency measures for disjunctive logic programs under answer set semantics

MaRDI QIDQ5226733FDOQ5226733

Authors: Markus Ulbricht, Matthias Thimm, Gerhard Brewka 

Publication date: 1 August 2019

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

Mathematics Subject Classification ID

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

Cited In (12)

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

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)