The DMCS solver for distributed nonmonotonic multi-context systems

Authors:
Seif El-Din Bairakdar;Minh Dao-Tran;Thomas Eiter;Michael Fink;Thomas Krennwallner
Affiliations:
Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria;Institut für Informationssysteme, Technische Universität Wien, Vienna, Austria
Venue:
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Year:
2010

The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Equilibria in heterogeneous nonmonotonic multi-context systems

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Conflict-driven answer set solving

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Strategies for contextual reasoning with conflicts in ambient intelligence

Knowledge and Information Systems
DRAGO: distributed reasoning architecture for the semantic web

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications

Hi-index	0.00