Pages that link to "Item:Q1109580"

The following pages link to Explanation-based generalisation \(=\) partial evaluation (Q1109580):

Displaying 9 items.

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