Media type: E-Book; Thesis Title: Verification of Golog Programs over Description Logic Actions Contributor: Zarrieß, Benjamin [VerfasserIn]; Baader, Franz [AkademischeR BetreuerIn]; Sardina, Sebastian [AkademischeR BetreuerIn] Corporation: Technische Universität Dresden imprint: Dresden, 2. November 2017 Extent: 1 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: ALGOL > Logische Programmiersprache Origination: University thesis: Dissertation, Technische Universität Dresden, 2017 Footnote: Information of inventory: Elektronischer Volltext - Zugang über WWW Access State: Open Access Rights information: In Copyright