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

  3. Santoso, Ario [VerfasserIn] ; Calvanese, Diego [AkademischeR BetreuerIn]; Montali, Marco [AkademischeR BetreuerIn]; Baader, Franz [AkademischeR BetreuerIn]; Baader, Franz [Sonstige Person, Familie und Körperschaft]; Lespérance, Yves [Sonstige Person, Familie und Körperschaft]; Sardina, Sebastian [Sonstige Person, Familie und Körperschaft]

    Verification of Data-aware Business Processes in the Presence of Ontologies

    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; Dresden: Technische Universität Dresden, 2016

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

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

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

  12. Hofmann, Till [VerfasserIn]; Lakemeyer, Gerhard [VerfasserIn]

    Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2021

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

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

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