Benjamin Zarrieß

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 12

Top Venues

Description Logics

AAAI

IJCAI

RuleML+RR

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
wer Reasoner. Theory Pract. Log. Program. 22 (2) (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). Description Logics (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner. CoRR (2021)
Satyadharma Tirtarasa, Benjamin Zarrieß
Projection in a Description Logic of Context with Actions. GCAI (2019)
Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner. RuleML+RR (2019)
Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß
Situation Calculus Meets Description Logics. Description Logic, Theory Combination, and All That (2019)
Satyadharma Tirtarasa, Benjamin Zarrieß
Projection in a Description Logic of Context with Actions. Description Logics (2019)
Benjamin Zarrieß
Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic. KR (2018)
Jens Claßen, Benjamin Zarrieß
Decidable Verification of Decision-Theoretic Golog. FroCoS (2017)
Benjamin Zarrieß, Jens Claßen
Decidable Verification of Golog Programs over Non-Local Effect Actions. AAAI (2016)
Benjamin Zarrieß, Jens Claßen
Verification of Knowledge-Based Programs over Description Logic Actions. IJCAI (2015)
Benjamin Zarrieß, Jens Claßen
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing. Description Logics (2015)
Benjamin Zarrieß, Jens Claßen
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. ECAI (2014)
Benjamin Zarrieß, Jens Claßen
On the Decidability of Verifying LTL Properties of Golog Programs. AAAI Spring Symposia (2014)
Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. AAAI (2014)
Franz Baader, Benjamin Zarrieß
Verification of Golog Programs over Description Logic Actions. FroCos (2013)
Benjamin Zarrieß, Anni-Yasmin Turhan
Most Specific Generalizations w.r.t. General EL-TBoxes. IJCAI (2013)
Anni-Yasmin Turhan, Benjamin Zarrieß
Computing the lcs w.r.t. General EL+-TBoxes. Description Logics (2013)

Benjamin Zarrieß.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Benjamin Zarrieß