scientific article; zbMATH DE number 67964

MaRDI QIDQ4013973zbMATH OpenFDO

Authors W. Wernecke, Peter H. Schmitt

Publication date 27 September 1992

zbMATH Keywords

Prologorder-sorted unificationtableaux calculus

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 834570
• Simultaneous rigid sorted unification for tableaux
• scientific article; zbMATH DE number 43237
• scientific article; zbMATH DE number 1759378
• Computational aspects of an order-sorted logic with term declarations

Cited in

(8)

• Simultaneous rigid sorted unification for tableaux
• Reasoning with preorders and dynamic sorts using free variable tableaux
• Ordered semantic hyper tableaux
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• Unification in sort theories and its applications
• scientific article; zbMATH DE number 67965 (Why is no real title available?)
• Projection: a unification procedure for tableaux in conceptual graphs
• scientific article; zbMATH DE number 834570 (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 Q4013973)