LATPub728: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (4 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| 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.}, | ||
| Zeile 34: | Zeile 34: | ||
year = {2013}, | year = {2013}, | ||
} | } | ||
}} | }} | ||
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},
}
