scientific article; zbMATH DE number 67968

MaRDI QIDQ4013977zbMATH OpenFDO

Authors U. Pletat, Kai von Luck

Publication date 27 September 1992

zbMATH Keywords

knowledge representation languageL-LILOG

Mathematics Subject Classification ID

Logic of natural languages (03B65) Knowledge representation (68T30) Natural language processing (68T50) Artificial intelligence (68T99)

Recommendations

• Publication:3200598
• scientific article; zbMATH DE number 108496
• scientific article; zbMATH DE number 67969
• An order-sorted logic for knowledge representation systems
• scientific article; zbMATH DE number 1418279

Cited in

(8)

• A more expressive formulation of many sorted logic
• Natural language and logic. International scientific symposium, Hamburg, FRG, 9-11 May 1989. Proceedings
• An order-sorted logic for knowledge representation systems
• The KL-ONE family
• Resolution for label-based formulas in hierarchical representation
• scientific article; zbMATH DE number 4176512 (Why is no real title available?)
• scientific article; zbMATH DE number 4053066 (Why is no real title available?)
• scientific article; zbMATH DE number 108496 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4013977)