Localising iceberg inconsistencies
DOI10.1016/J.ARTINT.2017.02.005zbMATH Open1419.68142OpenAlexW2594537163MaRDI QIDQ2407883FDOQ2407883
Authors: Glauber De Bona, Anthony Hunter 
Publication date: 6 October 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/1549754/1/aij17.pdf
Recommendations
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic in artificial intelligence (68T27)
Cites Work
- The complexity of facets resolved
- Measuring inconsistency
- A textbook of belief dynamics. Theory change and database updating
- On the expressivity of inconsistency measures
- Revisiting postulates for inconsistency measures
- On measuring inconsistency using maximal consistent sets
- On the logic of theory change: Partial meet contraction and revision functions
- Computational Complexity
- Distance-based measures of inconsistency
- Measuring inconsistency through minimal proofs
- On the measure of conflicts: Shapley inconsistency values
- Measures of inconsistency and defaults
- A theory of diagnosis from first principles
- Finding explanations of inconsistency in multi-context systems
- Preference-Based Inconsistency Assessment in Multi-Context Systems
- Distributed evaluation of nonmonotonic multi-context systems
- The complexity of facets (and some facets of complexity)
- Policy-based inconsistency management in relational databases
- Classifications for inconsistent theories
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Title not available (Why is that?)
- From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back
- Inconsistency handling in Datalog\(+/-\) ontologies
- A graded approach to database repair by context-aware distance semantics
- Analysing inconsistent information using distance-based measures
Cited In (9)
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- Relative inconsistency measures
- On the complexity of inconsistency measurement
- Semantic inconsistency measures using 3-valued logics
- General information spaces: measuring inconsistency, rationality postulates, and complexity
- Handling and measuring inconsistency in non-monotonic logics
- Handling locally stratified inconsistent knowledge bases
- Strong inconsistency
- The interior of inconsistency in a knowledge base
This page was built for publication: Localising iceberg inconsistencies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407883)
