Benjamin Zarrieß

According to our database, Benjamin Zarrieß authored at least 17 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Efficient TBox Reasoning with Value Restrictions using the ℱℒ₀wer Reasoner.

Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß

Theory Pract. Log. Program., 2022

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).

Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2019

Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner.

Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Projection in a Description Logic of Context with Actions.

Satyadharma Tirtarasa, Benjamin Zarrieß

Proceedings of the 32nd International Workshop on Description Logics, 2019

Situation Calculus Meets Description Logics.

Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Verification of golog programs over description logic actions.

Benjamin Zarrieß

PhD thesis, 2018

Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic.

Benjamin Zarrieß

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Decidable Verification of Decision-Theoretic Golog.

Jens Claßen, Benjamin Zarrieß

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

Decidable Verification of Golog Programs over Non-Local Effect Actions.

Benjamin Zarrieß, Jens Claßen

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Verification of Knowledge-Based Programs over Description Logic Actions.

Benjamin Zarrieß, Jens Claßen

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing.

Benjamin Zarrieß, Jens Claßen

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions.

Benjamin Zarrieß, Jens Claßen

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

On the Decidability of Verifying LTL Properties of Golog Programs.

Benjamin Zarrieß, Jens Claßen

Proceedings of the 2014 AAAI Spring Symposia, 2014

Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs.

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Most Specific Generalizations w.r.t. General EL-TBoxes.

Benjamin Zarrieß, Anni-Yasmin Turhan

Proceedings of the IJCAI 2013, 2013

Verification of Golog Programs over Description Logic Actions.

Franz Baader, Benjamin Zarrieß

Proceedings of the Frontiers of Combining Systems, 2013

Computing the lcs w.r.t. General EL+-TBoxes.

Anni-Yasmin Turhan, Benjamin Zarrieß

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013