A Characterization Theorem for a Modal Description Logic

Conference contribution
(Original article)


Publication Details

Author(s): Wild P, Schröder L
Publication year: 2017
Conference Proceedings Title: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
Pages range: 1304--1310


FAU Authors / FAU Editors

Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Wild, Paul
Lehrstuhl für Informatik 8 (Theoretische Informatik)


How to cite

APA:
Wild, P., & Schröder, L. (2017). A Characterization Theorem for a Modal Description Logic. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (pp. 1304--1310).

MLA:
Wild, Paul, and Lutz Schröder. "A Characterization Theorem for a Modal Description Logic." Proceedings of the Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 2017. 1304--1310.

BibTeX: 

Last updated on 2018-01-12 at 13:50