scientific article; zbMATH DE number 108496

MaRDI QIDQ4023950zbMATH OpenFDO

Authors

Publication date 23 January 1993

zbMATH Keywords

Axiomatikdesign methodologyformal reasoningInferencingknowledge base systemsLILOGnatural language semanticsnatural language understanding systemsontological engineeringOntologieontologyspatial reasoningtemporal reasoning

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 67968
• scientific article; zbMATH DE number 42972
• Natural language and logic. International scientific symposium, Hamburg, FRG, 9-11 May 1989. Proceedings
• Publication:3200598
• scientific article; zbMATH DE number 125979

Cited in

(10)

• Natural language and logic. International scientific symposium, Hamburg, FRG, 9-11 May 1989. Proceedings
• Modelling spatial knowledge on a linguistic basis. Theory, prototype, integration
• scientific article; zbMATH DE number 4176512 (Why is no real title available?)
• Ontologies, frames and logical theories in NKI
• scientific article; zbMATH DE number 3902081 (Why is no real title available?)
• scientific article; zbMATH DE number 42972 (Why is no real title available?)
• scientific article; zbMATH DE number 67968 (Why is no real title available?)
• scientific article; zbMATH DE number 125979 (Why is no real title available?)
• scientific article; zbMATH DE number 125987 (Why is no real title available?)
• scientific article; zbMATH DE number 2084410 (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 Q4023950)