Acquiring search-control knowledge via static analysis

DOI10.1016/0004-3702(93)90080-UzbMath0778.68071MaRDI QIDQ685544

Oren Etzioni

Publication date: 13 January 1994

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

zbMATH Keywords

Explanation-Based LearningPartial Evaluation

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items (6)

Integrating planning and learning: the PRODIGY architecture ⋮ Speeding up inferences using relevance reasoning: a formalism and algorithms ⋮ Failure driven dynamic search control for partial order planners: an explanation based approach ⋮ Using temporal logics to express search control knowledge for planning ⋮ Inductive learning of search control rules for planning ⋮ Position systems in dynamic domains

Uses Software

• Prodigy
• UCPOP

Cites Work

• Ordering conjunctive queries
• Controlling recursive inference
• Planning for conjunctive goals
• Explanation-based generalisation \(=\) partial evaluation
• Automatically generating abstractions for planning
• A Proof Procedure Using Connection Graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Acquiring search-control knowledge via static analysis