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

DOI10.1007/978-3-642-15675-5_31zbMath1306.68203OpenAlexW1665985068MaRDI QIDQ4930779

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

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)

Related Items (4)

Privacy Preservation Using Multi-context Systems and Default Logic ⋮ A model building framework for answer set programming with external computations ⋮ The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) ⋮ Finding explanations of inconsistency in multi-context systems

Uses Software

• DLVHEX

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