Media type: E-Book; Thesis Title: Verification of Golog Programs over Description Logic Actions Contributor: Zarrieß, Benjamin [Verfasser]; Baader, Franz [Gutachter]; Baader, Franz [Gutachter]; Sardina, Sebastian [Gutachter] imprint: Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018 Extent: Online-Ressource Language: English Identifier: RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Programs ; Logic ; Formale Verifikation ; Aktionssprachen ; Beschreibungslogik ; Verification ; Action Language ; Description Logic ; Hochschulschrift Origination: University thesis: Dissertation, Dresden, Technische Universität Dresden, 2017 Footnote: Access State: Open Access