Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Optimising Tableaux Decision Procedures for Description Logics

Optimising Tableaux Decision Procedures for Description Logics

Ian Horrocks

Annote
AKA: Horrocks97b
School
University of Manchester
Year
1997

Links

Back to Top