Verification of Golog Programs over Description Logic Actions

Franz BaaderFranz Baader, Benjamin Zarries̈Benjamin Zarries̈

Download

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

Details
Bibtex

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},

}

}}