scientific article; zbMATH DE number 4166926

MaRDI QIDQ3493312zbMATH OpenFDO

Authors David Allen McAllester, Bob Givan, Tanveer Fatima

Publication date 1989

zbMATH Keywords

first order inferencefirst order predicate calculusknowledge representation languages

Mathematics Subject Classification ID

Classical first-order logic (03B10) Knowledge representation (68T30) Artificial intelligence (68T99)

Recommendations

• Taxonomic syntax for first order inference
• Natural language syntax and first-order inference
• A first-order inquisitive semantics
• Inductive inference in the limit for first-order sentences
• First order languages: further syntax and semantics
• scientific article; zbMATH DE number 67794

Cited in

(9)

• An order-sorted logic for knowledge representation systems
• Natural language syntax and first-order inference
• The KL-ONE family
• Prototypes in a hybrid language with primitive descriptions
• scientific article; zbMATH DE number 1708032 (Why is no real title available?)
• Why bother with syntax?
• The role of taxonomy in language engineering
• Bi-rewriting, a term rewriting technique for monotonic order relations
• Taxonomic syntax for first order inference

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 Q3493312)