Verification of Golog Programs over Description Logic Actions

Franz BaaderFranz Baader, Benjamin ZarrießBenjamin Zarrieß

Download

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

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