Most specific generalizations wrt general EL-TBoxes B Zarrieß, AY Turhan Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 47 | 2013 |
Verification of Golog programs over description logic actions F Baader, B Zarrieß International Symposium on Frontiers of Combining Systems, 181-196, 2013 | 35 | 2013 |
Verification of knowledge-based programs over description logic actions B Zarrieß, J Claßen Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 32 | 2015 |
Decidable verification of Golog programs over non-local effect actions B Zarrieß, J Claßen Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 21 | 2016 |
Exploring the boundaries of decidable verification of non-terminating Golog programs J Claßen, M Liebenberg, G Lakemeyer, B Zarrieß Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014 | 21 | 2014 |
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. B Zarrieß, J Claßen ECAI, 939-944, 2014 | 18 | 2014 |
Computing the lcs wrt general EL+-TBoxes A Turhan, B Zarrieß | 9 | 2013 |
Efficient TBox Reasoning with Value Restrictions—Introducing the Reasoner F Michel, AY Turhan, B Zarrieß International Joint Conference on Rules and Reasoning, 128-143, 2019 | 5 | 2019 |
Complexity of projection with stochastic actions in a probabilistic description logic B Zarrieß Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 5 | 2018 |
Decidable Verification of Decision-Theoretic Golog J Claßen, B Zarrieß International Symposium on Frontiers of Combining Systems, 227-243, 2017 | 5 | 2017 |
On the decidability of verifying LTL properties of Golog programs B Zarrieß, J Claßen 2014 AAAI Spring Symposium Series, 2014 | 4 | 2014 |
Projection in a Description Logic of Context with Actions⋆ S Tirtarasa, B Zarrieß | 4* | |
Verification of golog programs over description logic actions. B Zarrieß Dresden University of Technology, Germany, 2018 | 3 | 2018 |
Situation Calculus Meets Description Logics J Claßen, G Lakemeyer, B Zarrieß Description Logic, Theory Combination, and All That, 240-265, 2019 | 2 | 2019 |
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing⋆ B Zarrieß, J Claßen endeavour 6, 15, 2015 | 2 | 2015 |
On the complexity of verifying timed Golog programs over description logic actions P Koopmann, B Zarrieß Proceedings of the 2018 Workshop on Hybrid Reasoning and Learning (HRL 2018 …, 2018 | 1 | 2018 |
Computing the lcs wrt General EL-TBoxes AY Turhan, B Zarrieß | 1* | |
Existenz des Least Common Subsumers in der Beschreibungslogik EL bezüglich genereller Terminologien B Zarrieß, IAY Turhan | | 2012 |