The DMCS solver for distributed nonmonotonic multi-context systems
作者： Seif El-Din Bairakdar , Minh Dao-Tran , Thomas Eiter , Michael Fink , Thomas Krennwallner
DOI: 10.1007/978-3-642-15675-5_30
关键词:
摘要: The DMCS system is an implementation of the equilibrium semantics for heterogeneous and nonmonotonic multi-context systems (MCS) [3], which feature contexts with possibly logics. Each context in MCS comprises two parts: a local knowledge base set bridge rules that can access beliefs other add new information to base. In this setting, are loosely coupled, may model distributed linkage applications; thus it natural have allows evaluation MCS.
springer.com
sci-hub.st 参考文章(8)
Gerhard Brewka, Thomas Eiter, Equilibria in heterogeneous nonmonotonic multi-context systems national conference on artificial intelligence. pp. 385- 390 ,(2007)
Martin Gebser, Benjamin Kaufmann, Torsten Schaub, André Neumann, Conflict-driven answer set solving international joint conference on artificial intelligence. pp. 386- 392 ,(2007)
Luciano Serafini, Andrei Tamilin, DRAGO: Distributed Reasoning Architecture for the Semantic Web Lecture Notes in Computer Science. pp. 361- 376 ,(2005) , 10.1007/11431053_25
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner, Decomposition of Distributed Nonmonotonic Multi-Context Systems Logics in Artificial Intelligence. pp. 24- 37 ,(2010) , 10.1007/978-3-642-15675-5_5
Minh Dao-Tran, Thomas Krennwallner, Thomas Eiter, Michael Fink, Distributed nonmonotonic multi-context systems principles of knowledge representation and reasoning. pp. 60- 70 ,(2010)
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello, The DLV system for knowledge representation and reasoning ACM Transactions on Computational Logic. ,vol. 7, pp. 499- 562 ,(2006) , 10.1145/1149114.1149117
Antonis Bikakis, Grigoris Antoniou, Panayiotis Hasapis, Strategies for contextual reasoning with conflicts in ambient intelligence Knowledge and Information Systems. ,vol. 27, pp. 45- 84 ,(2011) , 10.1007/S10115-010-0293-0
The Semantic Web: Research and Applications Springer Berlin Heidelberg. ,(2004) , 10.1007/B97867