KIT | KIT-Bibliothek | Impressum

An order-sorted logic for knowledge representation

Schmitt, Peter H.; Beierle, Christoph; Hedtstueck, Ulrich; Pletat, Udo; Siekmann, J.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 256192
Erscheinungsvermerk J. of artif. intell. 55 (1992) S. 149-191.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page