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
332013
Verification of Golog programs over description logic actions
F Baader, B Zarrieß
International Symposium on Frontiers of Combining Systems, 181-196, 2013
312013
Verification of knowledge-based programs over description logic actions
B Zarrieß, J Claßen
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
182015
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions.
B Zarrieß, J Claßen
ECAI, 939-944, 2014
152014
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
102014
Decidable verification of Golog programs over non-local effect actions
B Zarrieß, J Claßen
Thirtieth AAAI Conference on Artificial Intelligence, 2016
92016
Computing the lcs wrt general EL+-TBoxes
A Turhan, B Zarrieß
92013
Complexity of projection with stochastic actions in a probabilistic description logic
B Zarrieß
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
32018
On the decidability of verifying LTL properties of Golog programs
B Zarrieß, J Claßen
2014 AAAI Spring Symposium Series, 2014
32014
Decidable Verification of Decision-Theoretic Golog
J Claßen, B Zarrieß
International Symposium on Frontiers of Combining Systems, 227-243, 2017
22017
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing⋆
B Zarrieß, J Claßen
endeavour 6, 15, 2015
22015
Projection in a Description Logic of Context with Actions⋆
S Tirtarasa, B Zarrieß
2*
Verification of golog programs over description logic actions.
B Zarrieß
Dresden University of Technology, Germany, 2018
12018
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
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
2019
Situation Calculus Meets Description Logics
J Claßen, G Lakemeyer, B Zarrieß
Description Logic, Theory Combination, and All That, 240-265, 2019
2019
Existenz des Least Common Subsumers in der Beschreibungslogik EL bezüglich genereller Terminologien
B Zarrieß, IAY Turhan
2012
Computing the lcs wrt General EL-TBoxes
AY Turhan, B Zarrieß
The system can't perform the operation now. Try again later.
Articles 1–18