← Back to papers
2013 IJCAI IJCAI 2013

Bridging the Gap Between Refinement and Heuristics in Abstraction

🚀 Conference Pioneer — IJCAI 2013
🌉 Interdisciplinary Bridge — Artificial Intelligence and Knowledge & Reasoning
📈 Trend Setter — Automated Reasoning
🧭 Keyword Pioneer — abstraction refinement
🐝 Cross-Pollinator — Artificial Intelligence, Computer Science, Deep Learning, Knowledge & Reasoning, Machine Learning, Mathematics & Optimization, Natural Language Processing, Reinforcement Learning, Robotics
🐣 Hot Topic Early Bird — automated planning

Authors

Christer Bäckström , Peter Jonsson

Topics

Artificial Intelligence > Core AI > Planning Knowledge & Reasoning > Reasoning > Automated Reasoning

Keywords

automated planning heuristic search abstraction refinement
Download PDF

Related papers

Reasoning about Normative Update 2013
Maximal Recursive Rule: A New Social Decision Scheme 2013
Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence 2013
A Formal Account of Nondeterministic and Failed Actions 2013
Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping 2013