Benjamin Zarrieß
Benjamin Zarrieß
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei tu-dresden.de
Titel
Zitiert von
Zitiert von
Jahr
Most specific generalizations wrt general EL-TBoxes
B Zarrieß, AY Turhan
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
262013
Verification of Golog programs over description logic actions
F Baader, B Zarrieß
International Symposium on Frontiers of Combining Systems, 181-196, 2013
242013
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions.
B Zarrieß, J Claßen
ECAI, 939-944, 2014
132014
Verification of knowledge-based programs over description logic actions
B Zarrieß, J Claßen
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
82015
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
82014
Computing the lcs wrt general EL+-TBoxes
A Turhan, B Zarrieß
72013
Decidable verification of Golog programs over non-local effect actions
B Zarrieß, J Claßen
Thirtieth AAAI Conference on Artificial Intelligence, 2016
62016
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 Knowledge-Based Programs over Description Logic Actions with Sensing⋆
B Zarrieß, J Claßen
endeavour 6, 15, 2015
22015
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
Decidable Verification of Decision-Theoretic Golog
J Claßen, B Zarrieß
International Symposium on Frontiers of Combining Systems, 227-243, 2017
12017
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ß
Projection in a Description Logic of Context with Actions⋆
S Tirtarasa, B Zarrieß
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18