The mcs-ie System for Explaining Inconsistency in Multi-Context Systems

DOI10.1007/978-3-642-15675-5_31MaRDI QIDQ4930779zbMATH OpenOpenAlexFDO

Authors Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller

Publication date 1 October 2010

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15675-5_31

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Finding explanations of inconsistency in multi-context systems
• Approximations for explanations of inconsistency in partially known multi-context systems
• Comparing inconsistency resolutions in multi-context systems
• Preference-Based Inconsistency Assessment in Multi-Context Systems
• Inconsistency Management in Reactive Multi-context Systems
• Preference-based inconsistency management in multi-context systems
• Consistency restoration and explanations in dynamic CSPs---Application to configuration

Cited in

(5)

• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
• A model building framework for answer set programming with external computations
• Finding explanations of inconsistency in multi-context systems
• Approximations for explanations of inconsistency in partially known multi-context systems
• Privacy preservation using multi-context systems and default logic

Describes a project that uses

Uses Software

• DLVHEX

This page was built for publication: The mcs-ie System for Explaining Inconsistency in Multi-Context Systems

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