Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Springe zu: 2017
Anzahl der Einträge: 1.

2017

Meilicke, Christian ORCID: 0000-0002-0198-5396 ; Ruffinelli, Daniel ; Nolle, Andreas ; Paulheim, Heiko ORCID: 0000-0003-4386-8195 ; Stuckenschmidt, Heiner ORCID: 0000-0002-0209-3859 Fast ABox consistency checking using incomplete reasoning and caching. Costantini, Stefania Lecture Notes in Computer Science 10364 168-183 In: Rules and Reasoning : International Joint Conference : RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings (2017) Berlin [u.a.] International Joint Conference, RuleML+RR 2017 (London, UK) [Konferenzveröffentlichung]

Diese Liste wurde am Thu Nov 21 01:20:02 2024 CET automatisch erstellt.