Higher order generalization

DOI10.1007/3-540-49545-2_25MaRDI QIDQ4246979zbMATH OpenFDO

Authors Jianguo Lu, Masateru Harao, Masami Hagiya

Publication date 12 January 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49545-2_25

zbMATH Keywords

algorithmanti-unificationhigher-order generalizationhigher-order logicinductive inferencesyntactic generalizationunification

Mathematics Subject Classification ID

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

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

(11)

• 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
• Generalizing predicates with string arguments
• scientific article; zbMATH DE number 1696597 (Why is no real title available?)
• scientific article; zbMATH DE number 4051039 (Why is no real title available?)
• scientific article; zbMATH DE number 3995027 (Why is no real title available?)
• scientific article; zbMATH DE number 1881074 (Why is no real title available?)
• Order-sorted generalization
• A Generic Framework for Higher-Order Generalizations.
• Inductive Logic Programming

This page was built for publication: Higher order generalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246979)