Computing the lcs w.r.t. General EL+-TBoxes. - Anni-Yasmin Turhan; Benjamin Zarrieß (Description Logics, 2013)

Verification of Golog Programs over Description Logic Actions. - Franz Baader; Benjamin Zarrieß (FroCos, 2013)

Most Specific Generalizations w.r.t. General EL-TBoxes. - Benjamin Zarrieß; Anni-Yasmin Turhan (IJCAI, 2013)

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

On the Decidability of Verifying LTL Properties of Golog Programs. - Benjamin Zarrieß; Jens Claßen (AAAI Spring Symposia, 2014)

Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. - Benjamin Zarrieß; Jens Claßen (ECAI, 2014)

Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing. - Benjamin Zarrieß; Jens Claßen (Description Logics, 2015)

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

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

Decidable Verification of Decision-Theoretic Golog. - Jens Claßen; Benjamin Zarrieß (FroCoS, 2017)

Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic. - Benjamin Zarrieß (KR, 2018)

Verification of golog programs over description logic actions. - Benjamin Zarrieß (2018)

Situation Calculus Meets Description Logics. - Jens Claßen; Gerhard Lakemeyer; Benjamin Zarrieß (Description Logic, Theory Combination, and All That, 2019)

Projection in a Description Logic of Context with Actions. - Satyadharma Tirtarasa; Benjamin Zarrieß (Description Logics, 2019)

Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ\

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). - Franz Baader; Patrick Koopmann; Friedrich Michel; Anni-Yasmin Turhan; Benjamin Zarrieß (Description Logics, 2022)

Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. - Franz Baader; Patrick Koopmann; Friedrich Michel; Anni-Yasmin Turhan; Benjamin Zarrieß (Theory Pract. Log. Program., 2022)