-
LOGIC-IN
-
Forschung
-
Knowledge-Based Systems
Publikationen
Town, South Africa, April 22-25, 2016 . CEUR-WS.org. URL Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Ana Ozaki (2016). On Metric Temporal Description Logics. In ECAI 2016 - 22nd European Conference on [...] Australia, August 19-25, 2017 (pp. 1116–1122). ijcai.org. DOI 2016 Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Roman Kontchakov (2016). On Decidability and Tractability of Querying in Temporal EL [...] Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) (pp. 837–845). IOS Press. DOI Víctor Gutiérrez-Basulto …