The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
From MaRDI portal
Publication:4930779
DOI10.1007/978-3-642-15675-5_31zbMath1306.68203MaRDI 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
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
Related Items
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, Privacy Preservation Using Multi-context Systems and Default Logic
Uses Software