Explanation-based generalisation \(=\) partial evaluation

DOI10.1016/0004-3702(88)90088-4zbMath0655.68106OpenAlexW2048643630WikidataQ56840277 ScholiaQ56840277MaRDI QIDQ1109580

Alan Bundy, Frank van Harmelen

Publication date: 1988

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/408514/Explanation_BasedGeneralization_PartialEvaluation.pdf

zbMATH Keywords

PROLOGpartial evaluationlogic programmingmachine learningexplanation-based generalization

Mathematics Subject Classification ID

Related Items (9)

ESBL: An integrated method for learning from partial information ⋮ A formal model of explanation ⋮ From programming-by-example to proving-by-example ⋮ Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints ⋮ Proving theorems by reuse ⋮ Acquiring search-control knowledge via static analysis ⋮ Computer Go: An AI oriented survey ⋮ On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning ⋮ Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques

Cites Work

• Unnamed Item
• Unnamed Item
• Mixed computation: potential applications and problems for study
• Some Discrete Competition Models and the Competitive Exclusion Principle^†

This page was built for publication: Explanation-based generalisation \(=\) partial evaluation