Skip to contents

Zarrieß, Benjamin [Author] ; Baader, Franz [Degree supervisor]; Sardina, Sebastian [Degree supervisor] Technische Universität Dresden

Verification of Golog programs over description logic actions

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden, 2. November 2017
Zarrieß, Benjamin [Author] ; Baader, Franz [Other]; Sardina, Sebastian [Other]

Verification of Golog Programs over Description Logic Actions

View online
Schließen

Access

https://d-nb.info/1245409980/34

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018
Zarrieß, Benjamin [Author] ; Baader, Franz [Degree supervisor]; Sardina, Sebastian [Degree supervisor] Technische Universität Dresden

Verification of Golog Programs over Description Logic Actions

View online
Schließen

Access

More information on the full text

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden, 2. November 2017
Tirtarasa, Satyadharma [Author]; Zarrieß, Benjamin [Author]

Projection in a Description Logic of Context with Actions : (Extended Version)

View online
Schließen

Access

https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-796165

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2019

Published in: LTCS-Report ; 19,4
Koopmann, Patrick [Author]; Zarrieß, Benjamin [Author]

On the Complexity of Verifying Timed Golog Programs over Description Logic Actions : (Extended Version)

View online
Schließen

Access

More information on the full text

https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-796021

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2018

Published in: LTCS-Report ; 18,6
Zarrieß, Benjamin [Author]; Claßen, Jens [Author]

Decidable Verification of Golog Programs over Non-Local Effect Actions : Extended Version

View online
Schließen

Access

More information on the full text

https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795711

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2015

Published in: LTCS-Report ; 15,9
Zarrieß, Benjamin [Author]; Claßen, Jens [Author]

Verification of Knowledge-Based Programs over Description Logic Actions

View online
Schließen

Access

More information on the full text

https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795634

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2015

Published in: LTCS-Report ; 15,10
Zarrieß, Benjamin [Author]; Claßen, Jens [Author]

On the Decidability of Verifying LTL Properties of Golog Programs : ((Extended Version)

View online
Schließen

Access

More information on the full text

https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795437

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2013

Published in: LTCS-Report ; 13,10
Baader, Franz [Author]; Zarrieß, Benjamin [Author]

Verification of Golog Programs over Description Logic Actions

View online
Schließen

Access

More information on the full text

https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795410

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2013

Published in: LTCS-Report ; 13,8
Zarrieß, Benjamin [Author]; Turhan, Anni-Yasmin [Author]

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

View online
Schließen

Access

https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795393

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, 2013

Published in: LTCS-Report ; 13,6
Claßen, Jens; Zarrieß, Benjamin

Frontiers of Combining Systems: Decidable Verification of Decision-Theoretic Golog

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2017

Published in: Frontiers of Combining Systems
Baader, Franz; Zarrieß, Benjamin

Frontiers of Combining Systems: Verification of Golog Programs over Description Logic Actions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2013

Published in: Frontiers of Combining Systems
Claßen, Jens; Lakemeyer, Gerhard; Zarrieß, Benjamin

Lecture Notes in Computer Science: Situation Calculus Meets Description Logics

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2019

Published in: Lecture Notes in Computer Science
Michel, Friedrich; Turhan, Anni-Yasmin; Zarrieß, Benjamin

Rules and Reasoning: Efficient TBox Reasoning with Value Restrictions—Introducing the $$\mathcal {F\!L}_{o}{} \textit{wer}$$ Reasoner

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2019

Published in: Rules and Reasoning
BAADER, FRANZ; KOOPMANN, PATRICK; MICHEL, FRIEDRICH; TURHAN, ANNI-YASMIN; ZARRIESS, BENJAMIN

Efficient TBox Reasoning with Value Restrictions using the wer Reasoner

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2022

Published in: Theory and Practice of Logic Programming

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication