scientific article; zbMATH DE number 4166918

MaRDI QIDQ3493301zbMATHFDO

Authors Edward P. jun. Stabler

Publication date 1989

zbMATH Keywords

knowledge representationreasoningSkolem functionsSEq resolutionsyntactic equality

Mathematics Subject Classification ID

Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1761416
• scientific article; zbMATH DE number 4164186
• Synonymous theories and knowledge representations in answer set programming
• scientific article; zbMATH DE number 3945373
• scientific article; zbMATH DE number 1984523

Cited in

(5)

• Syntax versus semantics in knowledge bases – I
• Syntax versus semantics in knowledge bases II
• Hybrid reasoning using universal attachment
• Why bother with syntax?
• Adding equality to semantic tableaux

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