LATPub728: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „} }}“ durch „} }{{Closing brace}}“) |
Marcel Lippmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
|ErsterAutorVorname=Franz | |ErsterAutorVorname=Franz | ||
|ErsterAutorNachname=Baader | |ErsterAutorNachname=Baader | ||
|FurtherAuthors=Benjamin | |FurtherAuthors=Benjamin Zarrieß | ||
}} | }} | ||
{{Techreport | {{Techreport | ||
| Zeile 26: | Zeile 26: | ||
|BibTex=@techreport{ BaZa-LTCS-13-08, | |BibTex=@techreport{ BaZa-LTCS-13-08, | ||
address = {Dresden, Germany}, | address = {Dresden, Germany}, | ||
author = {Franz | author = {Franz Baader and Benjamin Zarrie{\ss} }, | ||
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.}, | ||
Aktuelle Version vom 15. Februar 2016, 09:49 Uhr
Verification of Golog Programs over Description Logic Actions
Franz BaaderFranz Baader, Benjamin ZarrießBenjamin Zarrieß
Franz Baader, Benjamin Zarrieß
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{\ss}},
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},
}
