TY - GEN

AU - Zarrieß, Benjamin

AU - Baader, Franz

AU - Sardina, Sebastian

TI - Verification of Golog Programs over Description Logic Actions

PB - Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden

KW - Programs

KW - Logic

KW - Formale Verifikation

KW - Aktionssprachen

KW - Beschreibungslogik

KW - Verification

KW - Action Language

KW - Description Logic

KW - Hochschulschrift

PY - 2018

CY - Dresden

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -