Benjamin Zarrieß

19 papers A* 5A 1B 1Journal 2Unranked 9

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