The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems. In Tomi Janhunen, Ilkka Niemelä, editors, Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings. Volume 6341 of Lecture Notes in Computer Science, pages 352-355, Springer, 2010. [doi]

Authors

Seif El-Din Bairakdar

This author has not been identified. Look up 'Seif El-Din Bairakdar' in Google

Minh Dao-Tran

This author has not been identified. Look up 'Minh Dao-Tran' in Google

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Michael Fink

This author has not been identified. Look up 'Michael Fink' in Google

Thomas Krennwallner

This author has not been identified. Look up 'Thomas Krennwallner' in Google