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