KIT | KIT-Bibliothek | Impressum | Datenschutz

Decidability Under the Well-Founded Semantics

Cherchago, Natalia; Hitzler, Pascal; Hölldobler, Steffen


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2007
Sprache Englisch
Identifikator ISBN: 978-3-540-72981-5
ISSN: 0302-9743
KITopen-ID: 1000016927
Erschienen in Web reasoning and rule systems - first international conference, RR 2007, Innsbruck, Austria, June 7 - 8, 2007. Proceedings. Ed.: M. Marchiori
Verlag Springer-Verlag
Seiten 269 - 278
Serie Lecture Notes in Computer Science ; 4524
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page