Auflistung Künstliche Intelligenz 34(3) - September 2020 Nach Schlagwort "Description logics" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-4 von 4

«
»

LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics

Koopmann, Patrick
381-387
Querying Rich Ontologies by Exploiting the Structure of Data

Bajraktari, Labinot
395-398
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT

Manthey, Norbert; Peñaloza, Rafael; Rudolph, Sebastian
389-394
Towards Higher-order OWL

Homola, Martin; Kľuka, Ján; Hozzová, Petra; Svátek, Vojtěch; Vacura, Miroslav
417-421

Anzeige der Dokumente 1-4 von 4

«
»