KIT | KIT-Bibliothek | Impressum

Level mapping characterizations of selector-generated models for logic programs

Hitzler, P.; Schwarz, S.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2005
Sprache Englisch
Identifikator ISSN: 0939-5091
KITopen ID: 1000018150
Erschienen in 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21 - 23, 2005. Ed.: A. Wolf
Verlag Univ. Ulm, Fak. für Informatik
Seiten 65 - 75
Serie Ulmer Informatik-Berichte ; 2005,01
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page