E-LIB Suche - Ergebnisse für: Zarrieß, Benjamin

1

Efficient TBox Reasoning with Value Restrictions using the ..:

BAADER, FRANZ ; KOOPMANN, PATRICK ; MICHEL, FRIEDRICH..
Theory and Practice of Logic Programming. 22 (2021) 2 - p. 162-192 , 2021

Link: https://doi.org/10.1017/..

2

Situation Calculus Meets Description Logics:

, In: Lecture Notes in Computer Science; Description Logic, Theory Combination, and All That,

Claßen, Jens ; Lakemeyer, Gerhard ; Zarrieß, Benjamin - p. 240-265 , 2019

Link: https://doi.org/10.1007/..

3

Efficient TBox Reasoning with Value Restrictions—Introducin..:

, In: Rules and Reasoning; Lecture Notes in Computer Science,

Michel, Friedrich ; Turhan, Anni-Yasmin ; Zarrieß, Benjamin - p. 128-143 , 2019

Link: https://doi.org/10.1007/..

4

Efficient TBox Reasoning with Value Restrictions using the ..:

Baader, Franz ; Koopmann, Patrick ; Michel, Friedrich..
http://arxiv.org/abs/2107.12877. , 2021

Link: http://arxiv.org/abs/210..

5

Projection in a Description Logic of Context with Actions: ..:

Tirtarasa, Satyadharma ; Zarrieß, Benjamin
urn:nbn:de:bsz:14-qucosa2-785040. , 2019

Link: https://nbn-resolving.or..

6

On the Complexity of Verifying Timed Golog Programs over De..:

Koopmann, Patrick ; Zarrieß, Benjamin
urn:nbn:de:bsz:14-qucosa2-785040. , 2018

Link: https://nbn-resolving.or..

7

Verification of Golog Programs over Description Logic Actio..:

Zarrieß, Benjamin
urn:nbn:de:bsz:14-qucosa-237825. , 2017

Link: https://nbn-resolving.or..

8

Verification of Knowledge-Based Programs over Description L..:

Zarrieß, Benjamin ; Claßen, Jens
urn:nbn:de:bsz:14-qucosa2-785040. , 2015

Link: https://nbn-resolving.or..

9

Decidable Verification of Golog Programs over Non-Local Eff..:

Zarrieß, Benjamin ; Claßen, Jens
urn:nbn:de:bsz:14-qucosa2-785040. , 2015

Link: https://nbn-resolving.or..

10

Verifying CTL* Properties of GOLOG Programs over Local-Effe..:

Zarrieß, Benjamin ; Claßen, Jens
info:eu-repo/semantics/altIdentifier/doi/10.3233/978-1-61499-419-0-939. , 2014

Link: https://publications.rwt..

11

Verification of Golog Programs over Description Logic Actio..:

Baader, Franz ; Zarrieß, Benjamin
urn:nbn:de:bsz:14-qucosa2-785040. , 2013

Link: https://nbn-resolving.or..

12

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

Zarrieß, Benjamin ; Turhan, Anni-Yasmin
urn:nbn:de:bsz:14-qucosa2-785040. , 2013

Link: https://nbn-resolving.or..

13

On the Decidability of Verifying LTL Properties of Golog Pr..:

Zarrieß, Benjamin ; Claßen, Jens
urn:nbn:de:bsz:14-qucosa2-785040. , 2013

Link: https://nbn-resolving.or..

14

Verification of Golog Programs over Description Logic Actio..:

Zarrieß, Benjamin , 2. November 2017

Link: https://nbn-resolving.de..