Localising iceberg inconsistencies
From MaRDI portal
Publication:2407883
DOI10.1016/J.ARTINT.2017.02.005zbMATH Open1419.68142OpenAlexW2594537163MaRDI QIDQ2407883FDOQ2407883
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Weighted Electoral Control
- 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
- From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back
- A graded approach to database repair by context-aware distance semantics
- Analysing inconsistent information using distance-based measures
Cited In (7)
- 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
- Strong inconsistency
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)
