The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems.
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Browse the full JELIA paper archive.
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
Browse the full JELIA paper archive.