The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems [chapter]

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-15675-5_30 fatcat:naishvyptrez7dy4oaynal2mna