Computing programs for generalized planning using a classical planner

DOI10.1016/j.artint.2018.10.006zbMath1478.68333OpenAlexW2914853612WikidataQ128454173 ScholiaQ128454173MaRDI QIDQ2321292

Anders Jonsson, Javier Segovia-Aguas, Sergio Jimenez

Publication date: 28 August 2019

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

Full work available at URL: https://doi.org/10.1016/j.artint.2018.10.006

zbMATH Keywords

program synthesisclassical planningplanning and learninggeneralized planning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

A Comprehensive Framework for Learning Declarative Action Models ⋮ AUTOMAT[\texttt{R}IX: learning simple matrix pipelines]

Uses Software

• GOLOG
• SHOP2
• Prodigy
• Omniglot
• PRMLT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Planning as satisfiability: heuristics
• A new representation and associated algorithms for generalized planning
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• Learning generalized policies from planning examples using concept languages
• The computational complexity of propositional STRIPS planning
• Using temporal logics to express search control knowledge for planning
• Learning action strategies for planning domains
• Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
• In defense of PDDL axioms
• Human-level concept learning through probabilistic program induction
• Scaling up Heuristic Planning with Relational Decision Trees
• The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks
• Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
• GOLOG: A logic programming language for dynamic domains
• Integrating planning and learning: the PRODIGY architecture
• The Role of Macros in Tractable Planning
• Automating string processing in spreadsheets using input-output examples

This page was built for publication: Computing programs for generalized planning using a classical planner