| LARS: A Logic-based Framework for Analyzing Reasoning over Streams H Beck, M Dao-Tran, T Eiter, M Fink 29th AAAI Conference, 2015 | 240* | 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 | 12* | 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 | 10 | 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 | | |
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
