KIT | KIT-Bibliothek | Impressum | Datenschutz

Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies

Rudolph, Sebastian 1; Schneider, Michael
1 Karlsruher Institut für Technologie (KIT)


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
FZI Forschungszentrum Informatik (FZI)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2011
Sprache Englisch
Identifikator ISBN: 978-3-642-22687-8
ISSN: 0302-9743
KITopen-ID: 1000026392
Erschienen in Conceptual Structures for Discovering Knowledge, Proceedings of ICCS 2011, Derby, UK, July 25-29, 2011. Ed.: S. Andrews
Verlag Springer Verlag
Seiten 19-34
Serie Lecture Notes in Computer Science ; 6828
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page