Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I

DOI10.1007/s10472-019-09618-wzbMath1444.68171OpenAlexW2940376994WikidataQ128091099 ScholiaQ128091099MaRDI QIDQ2188783

Lenhart Schubert, Alfonso E. Gerevini

Publication date: 11 June 2020

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-019-09618-w

zbMATH Keywords

automated planningautomatic inductive proofsinference of state constraints for planningknowledge discovery for planningplanning domain analysisplanning with conditional effectsstate invariants in planning

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• PDDL
• UCPOP

Cites Work

• Long-distance mutual exclusion for planning
• Concise finite-domain representations for PDDL planning tasks
• Extracting mutual exclusion invariants from lifted temporal planning domains
• Red-black planning: a new systematic approach to partial delete relaxation
• Constraint-Based Algorithm for Computing Temporal Invariants
• ITSAT: An Efficient SAT-Based Temporal Planner
• A weighted CSP approach to cost-optimal planning
• The TRAINS project: a case study in building a conversational planning agent
• Planning as heuristic search
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I