Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. A Tableaux Decision Procedure for SHOIQ

A Tableaux Decision Procedure for SHOIQ

Ian Horrocks and Ulrike Sattler

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

Links

Back to Top