scientific article; zbMATH DE number 1301764

zbMATH Open0928.03035MaRDI QIDQ4246979FDOQ4246979

Authors: Jianguo Lu, Masateru Harao, Masami Hagiya 

Publication date: 12 January 2000

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (10)

• Title not available (Why is that?)
• Generalization from partial parametrization in higher-order type theory
• Generalizing predicates with string arguments
• Inductive Logic Programming
• Title not available (Why is that?)
• Order-sorted generalization
• Title not available (Why is that?)
• Higher order generalization and its application in program verification
• A modular order-sorted equational generalization algorithm
• Title not available (Why is that?)

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)