Beck, Harald

4 publications

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

IJCAI 2015 Expressive Rule-Based Stream Reasoning Harald Beck

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