An order-sorted logic for knowledge representation

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

Seitenaufrufe: 31
seit 08.09.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp	Zeitschriftenaufsatz
Publikationsjahr	1992
Sprache	Englisch
Identifikator	KITopen-ID: 256192
Erscheinungsvermerk	J. of artif. intell. 55 (1992) S. 149-191.