KIT | KIT-Bibliothek | Impressum

Default theories of poole-type and a method for constructing cumulative versions of default logic

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: 255292
Erscheinungsvermerk In: Proceedings. ECAI 92. 10th European Conference on Artificial Intelligence, Vienna, Austria 1992. Ed.: B. Neumann. Chichester 1992. S. 289-293.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page