LARS: A Logic-based Framework for Analyzing Reasoning over Streams H Beck, M Dao-Tran, T Eiter, M Fink 29th AAAI Conference, 2015 | 258* | 2015 |
Towards a Logic-Based Framework for Analyzing Stream Reasoning H Beck, M Dao-Tran, T Eiter, M Fink OrdRing 2014 - 3rd International Workshop on Ordering and Reasoning, 2014 | 13* | 2014 |
Inconsistency management for traffic regulations: Formalization and complexity results H Beck, T Eiter, T Krennwallner European Workshop on Logics in Artificial Intelligence, 80-93, 2012 | 12 | 2012 |
Towards Ideal Semantics for Analyzing Stream Reasoning H Beck, M Dao-Tran, T Eiter, M Fink arXiv preprint arXiv:1505.05365, 2015 | 1 | 2015 |
Inconsistency Management for Traffic Regulations H Beck, T Eiter, T Krennwallner Workshops at the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012 | | 2012 |
Master Thesis (Extended Abstract) Inconsistency Management for Traffic Regulations H Beck | | |