Zarrieß, Benjamin

4 publications

AAAI 2016 Decidable Verification of Golog Programs over Non-Local Effect Actions Benjamin Zarrieß, Jens Claßen

IJCAI 2015 Verification of Knowledge-Based Programs over Description Logic Actions Benjamin Zarrieß, Jens Claßen

AAAI 2014 Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß

IJCAI 2013 Most Specific Generalizations W.r.t. General EL-TBoxes Benjamin Zarrieß, Anni-Yasmin Turhan