Dao-Tran, Minh

5 publications

IJCAI 2017 Streaming Multi-Context Systems Minh Dao-Tran, Thomas Eiter

IJCAI 2016 Equivalent Stream Reasoning Programs Harald Beck, Minh Dao-Tran, Thomas Eiter

IJCAI 2015 Answer Update for Rule-Based Stream Reasoning Harald Beck, Minh Dao-Tran, Thomas Eiter

JAIR 2015 Distributed Evaluation of Nonmonotonic Multi-Context Systems Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

AAAI 2015 LARS: A Logic-Based Framework for Analyzing Reasoning over Streams Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink