Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Ordering Heuristics for Description Logic Reasoning

Ordering Heuristics for Description Logic Reasoning

Dmitry Tsarkov and Ian Horrocks

Book Title
Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005)
Pages
609–614
Year
2005

Links

Back to Top