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

DOI10.1007/S10472-019-09618-WMaRDI QIDQ2188783zbMATH OpenOpenAlexWikidataFDO

Authors Lenhart K. 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)

Recommendations

• Constraint based planning with composable substate graphs
• scientific article; zbMATH DE number 1305704
• Multivalued action languages with constraints in \(CLP(FD)\)
• CTP: A new constraint-based formalism for conditional, temporal planning
• Multivalued Action Languages with Constraints in CLP(FD)

Cites work

• scientific article; zbMATH DE number 5542185 (Why is no real title available?)
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 1249653 (Why is no real title available?)
• scientific article; zbMATH DE number 2038901 (Why is no real title available?)
• scientific article; zbMATH DE number 1467489 (Why is no real title available?)
• A weighted CSP approach to cost-optimal planning
• Concise finite-domain representations for PDDL planning tasks
• Constraint-based algorithm for computing temporal invariants
• Extracting mutual exclusion invariants from lifted temporal planning domains
• ITSAT: An Efficient SAT-Based Temporal Planner
• Long-distance mutual exclusion for planning
• Planning as heuristic search
• Red-black planning: a new systematic approach to partial delete relaxation
• The TRAINS project: a case study in building a conversational planning agent

Cited in

(1)

• Applicability conditions for plans with loops: computability results and algorithms

Describes a project that uses

Uses Software

• PDDL
• UCPOP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2188783)