Explanation-based generalisation = partial evaluation
From MaRDI portal
Publication:1109580
DOI10.1016/0004-3702(88)90088-4zbMATH Open0655.68106DBLPjournals/ai/HarmelenB88OpenAlexW2048643630WikidataQ56840277 ScholiaQ56840277MaRDI QIDQ1109580FDOQ1109580
Authors: Frank van Harmelen, Alan Bundy 
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
Recommendations
- Learning in the presence of partial explanations
- A new application for explanation-based generalisation within automated deduction
- scientific article; zbMATH DE number 640291
- A unified framework for explanation-based generalization of partially ordered and partially instantiated plans
- Representation of explanations of possibilistic inference decisions
- On computing probabilistic abductive explanations
Cites Work
Cited In (11)
- Acquiring search-control knowledge via static analysis
- On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning
- Learning in the presence of partial explanations
- Title not available (Why is that?)
- A formal model of explanation
- Computer Go: An AI oriented survey
- ESBL: An integrated method for learning from partial information
- Conflict generalisation in ASP: learning correct and effective non-ground constraints
- From programming-by-example to proving-by-example
- Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
- Proving theorems by reuse
This page was built for publication: Explanation-based generalisation \(=\) partial evaluation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1109580)
