A Tableaux Decision Procedure for SHOIQ

IJCAI 2005 pp. 448-453

/ijcai/2005/horrocks2005ijcai-tableaux/

Cite

Text

Horrocks and Sattler. "A Tableaux Decision Procedure for SHOIQ." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Horrocks and Sattler. "A Tableaux Decision Procedure for SHOIQ." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/horrocks2005ijcai-tableaux/)

BibTeX

@inproceedings{horrocks2005ijcai-tableaux,
  title     = {{A Tableaux Decision Procedure for SHOIQ}},
  author    = {Horrocks, Ian and Sattler, Ulrike},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {448-453},
  url       = {https://mlanthology.org/ijcai/2005/horrocks2005ijcai-tableaux/}
}