KIT | KIT-Bibliothek | Impressum

A framework for representing and characterizing semantics of logic programs

Dix, Juergen



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 255092
Erscheinungsvermerk In: Principles of knowledge representation and reasoning. Proceedings of the 3rd International Conference (KR '92). Ed.: B. Nebel. San Mateo, CA 1992. S. 591-602.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page