Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

Sebastian RudolphSebastian Rudolph,  Markus KrötzschMarkus Krötzsch,  Pascal HitzlerPascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams


Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox, Carla P. Gomes, eds., Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), 529-534, 2008. AAAI Press
/* Please refer to the 2012 journal paper instead */
@inproceedings{RKH2008,
  author    = {Sebastian Rudolph and Markus Kr{\"{o}}tzsch and Pascal Hitzler},
  title     = {Terminological Reasoning in {SHIQ} with Ordered Binary Decision
               Diagrams},
  editor    = {Dieter Fox and Carla P. Gomes},
  booktitle = {Proceedings of the 23rd {AAAI} Conference on Artficial
               Intelligence (AAAI-08)},
  publisher = {AAAI Press},
  year      = {2008},
  pages     = {529-534}
}