scientific article; zbMATH DE number 1301764

MaRDI QIDQ4246979zbMATH OpenFDO

Authors Jianguo Lu, Masateru Harao, Masami Hagiya

Publication date 12 January 2000

zbMATH Keywords

algorithminductive inferencehigher-order logicunificationanti-unificationhigher-order generalizationsyntactic generalization

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• Higher order generalization and its application in program verification
• Order-sorted generalization
• Inductive Logic Programming
• A modular order-sorted equational generalization algorithm

Cited in

(10)

• scientific article; zbMATH DE number 1696597 (Why is no real title available?)
• scientific article; zbMATH DE number 3995027 (Why is no real title available?)
• Generalizing predicates with string arguments
• scientific article; zbMATH DE number 4051039 (Why is no real title available?)
• Order-sorted generalization
• Generalization from partial parametrization in higher-order type theory
• Higher order generalization and its application in program verification
• A modular order-sorted equational generalization algorithm
• scientific article; zbMATH DE number 1881074 (Why is no real title available?)
• Inductive Logic Programming

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