Verification of Golog Programs over Description Logic Actions
Aus International Center for Computational Logic
Verification of Golog Programs over Description Logic Actions
Franz BaaderFranz Baader, Benjamin Zarries̈Benjamin Zarries̈
Franz Baader, Benjamin Zarries̈
Verification of Golog Programs over Description Logic Actions
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-08, 2013. LTCS-Report
Verification of Golog Programs over Description Logic Actions
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-08, 2013. LTCS-Report
- Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ BaZa-LTCS-13-08,
address = {Dresden, Germany},
author = {Franz {Baader} and Benjamin {Zarrie{\"s}
,
institution = {Chair of Automata Theory, TU Dresden},
note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
number = {13-08},
title = {Verification of Golog Programs over Description Logic Actions},
type = {LTCS-Report},
year = {2013},
}
}}
