PAPER DIGEST
Most Influential IJCAI 2005 Paper · 2026-03 edition
A Tableaux Decision Procedure For SHOIQ
Ian Horrocks and Ulrike Sattler
- Venue
- International Joint Conference on Artificial Intelligence (IJCAI) 2005
- Recognition
- Most Influential IJCAI 2005 Paper (Rank No. 6)
- Edition
- 2026-03
- Impact factor
- 6
- Certificate ID
- 80219b69a326948f
Abstract
A Tableaux Decision Procedure for SHOIQ
Download PDF certificate