LATPub728: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „} }}“ durch „} }{{Closing brace}}“) |
||
| Zeile 26: | Zeile 26: | ||
|BibTex=@techreport{ BaZa-LTCS-13-08, | |BibTex=@techreport{ BaZa-LTCS-13-08, | ||
address = {Dresden, Germany}, | address = {Dresden, Germany}, | ||
author = {Franz {Baader} and Benjamin {Zarrie{\"s} }}, | author = {Franz {Baader} and Benjamin {Zarrie{\"s} }{{Closing brace}}, | ||
institution = {Chair of Automata Theory, TU Dresden}, | institution = {Chair of Automata Theory, TU Dresden}, | ||
note = {See http://lat.inf.tu-dresden.de/research/reports.html.}, | note = {See http://lat.inf.tu-dresden.de/research/reports.html.}, | ||
Version vom 13. Februar 2016, 22:51 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},
}
