The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
From MaRDI portal
Publication:4930777
DOI10.1007/978-3-642-15675-5_30zbMath1306.68201OpenAlexW1498549189WikidataQ57549111 ScholiaQ57549111MaRDI QIDQ4930777
Thomas Eiter, Thomas Krennwallner, Michael Fink, Seif El-Din Bairakdar, Minh Dao-Tran
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_30
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items (4)
On abstract modular inference systems and solvers ⋮ Privacy Preservation Using Multi-context Systems and Default Logic ⋮ A model building framework for answer set programming with external computations ⋮ Finding explanations of inconsistency in multi-context systems
Uses Software
This page was built for publication: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
