Zum Inhalt springen

  1. Zarrieß, Benjamin [VerfasserIn] ; Baader, Franz [AkademischeR BetreuerIn]; Sardina, Sebastian [AkademischeR BetreuerIn] Technische Universität Dresden

    Verification of Golog programs over description logic actions

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden, 2. November 2017

  2. Zarrieß, Benjamin [VerfasserIn] ; Baader, Franz [Sonstige Person, Familie und Körperschaft]; Sardina, Sebastian [Sonstige Person, Familie und Körperschaft]

    Verification of Golog Programs over Description Logic Actions

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018

  3. Zarrieß, Benjamin [VerfasserIn] ; Baader, Franz [AkademischeR BetreuerIn]; Sardina, Sebastian [AkademischeR BetreuerIn] Technische Universität Dresden

    Verification of Golog Programs over Description Logic Actions

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden, 2. November 2017

  4. Tirtarasa, Satyadharma [VerfasserIn]; Zarrieß, Benjamin [VerfasserIn]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2019

    Erschienen in: LTCS-Report ; 19,4

  5. Koopmann, Patrick [VerfasserIn]; Zarrieß, Benjamin [VerfasserIn]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2018

    Erschienen in: LTCS-Report ; 18,6

  6. Zarrieß, Benjamin [VerfasserIn]; Claßen, Jens [VerfasserIn]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2015

    Erschienen in: LTCS-Report ; 15,9

  7. Zarrieß, Benjamin [VerfasserIn]; Claßen, Jens [VerfasserIn]

    Verification of Knowledge-Based Programs over Description Logic Actions

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2015

    Erschienen in: LTCS-Report ; 15,10

  8. Zarrieß, Benjamin [VerfasserIn]; Claßen, Jens [VerfasserIn]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2013

    Erschienen in: LTCS-Report ; 13,10

  9. Baader, Franz [VerfasserIn]; Zarrieß, Benjamin [VerfasserIn]

    Verification of Golog Programs over Description Logic Actions

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2013

    Erschienen in: LTCS-Report ; 13,8

  10. Zarrieß, Benjamin [VerfasserIn]; Turhan, Anni-Yasmin [VerfasserIn]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dresden: Technische Universität Dresden, 2013

    Erschienen in: LTCS-Report ; 13,6

  14. 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

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2019

    Erschienen in: Rules and Reasoning