A Characterization Theorem for a Modal Description Logic

Wild P, Schröder L (2017)

Publication Type: Conference contribution, Original article

Publication year: 2017

Pages Range: 1304--1310

Conference Proceedings Title: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017

DOI: 10.24963/ijcai.2017/181

Open Access Link: https://doi.org/10.24963/ijcai.2017/181

Authors with CRIS profile

Paul Wild Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014

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: Download