Follow
Benjamin Zarrieß
Benjamin Zarrieß
Unknown affiliation
Verified email at tu-dresden.de
Title
Cited by
Cited by
Year
Most specific generalizations wrt general EL-TBoxes
B Zarrieß, AY Turhan
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
462013
Verification of Golog programs over description logic actions
F Baader, B Zarrieß
International Symposium on Frontiers of Combining Systems, 181-196, 2013
352013
Verification of knowledge-based programs over description logic actions
B Zarrieß, J Claßen
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
312015
Decidable verification of Golog programs over non-local effect actions
B Zarrieß, J Claßen
Thirtieth AAAI Conference on Artificial Intelligence, 2016
212016
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
212014
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions.
B Zarrieß, J Claßen
ECAI, 939-944, 2014
182014
Computing the lcs wrt general EL+-TBoxes
A Turhan, B Zarrieß
82013
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
52019
Decidable Verification of Decision-Theoretic Golog
J Claßen, B Zarrieß
International Symposium on Frontiers of Combining Systems, 227-243, 2017
52017
Complexity of projection with stochastic actions in a probabilistic description logic
B Zarrieß
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
42018
On the decidability of verifying LTL properties of Golog programs
B Zarrieß, J Claßen
2014 AAAI Spring Symposium Series, 2014
42014
Verification of golog programs over description logic actions.
B Zarrieß
Dresden University of Technology, Germany, 2018
32018
Projection in a Description Logic of Context with Actions⋆
S Tirtarasa, B Zarrieß
3*
Situation Calculus Meets Description Logics
J Claßen, G Lakemeyer, B Zarrieß
Description Logic, Theory Combination, and All That, 240-265, 2019
22019
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing⋆
B Zarrieß, J Claßen
endeavour 6, 15, 2015
22015
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
12018
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
The system can't perform the operation now. Try again later.
Articles 1–18