A Translation of Looping Alternating Automata to Description Logics

J. HladikJ. Hladik, Ulrike SattlerUlrike Sattler

Datei:HlaSat-CADE03.ps.gz

Download

J. Hladik, Ulrike Sattler
A Translation of Looping Alternating Automata to Description Logics
Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence, 2003. Springer

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ HlSa03,
  author = {J. {Hladik} and U. {Sattler}},
  booktitle = {Proc. of the 19th Conference on Automated Deduction (CADE-19)},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {A Translation of Looping Alternating Automata to Description Logics},
  volume = {2741},
  year = {2003},
}