LATPub728: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
(kein Unterschied)
| |
Version vom 20. März 2015, 16:28 Uhr
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},
}
}}
