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

DOI10.1007/S10472-019-09618-WzbMATH Open1444.68171OpenAlexW2940376994WikidataQ128091099 ScholiaQ128091099MaRDI QIDQ2188783FDOQ2188783

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

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)

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Planning as heuristic search
• Concise finite-domain representations for PDDL planning tasks
• Title not available (Why is that?)
• Red-black planning: a new systematic approach to partial delete relaxation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Long-distance mutual exclusion for planning
• Constraint-Based Algorithm for Computing Temporal Invariants
• Extracting mutual exclusion invariants from lifted temporal planning domains
• 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

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)