KIT | KIT-Bibliothek | Impressum

Classifying semantics of disjunctive 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: 255192
Erscheinungsvermerk In: Logic programming. Proceedings of the 1992 Joint International Conference and Symposium. Ed.: K. Apt. Cambridge, Mass. 1992. S. 798-812.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page