Optimal planning with expressive action languages as constraint optimization

DOI10.1007/978-3-031-43619-2_42MaRDI QIDQ6545569zbMATH OpenFDO

Authors Enrico Giunchiglia, Armando Tacchella

Publication date 29 May 2024

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1931659
• A weighted CSP approach to cost-optimal planning
• Constraint based planning with composable substate graphs
• scientific article; zbMATH DE number 2000818
• Domain-independent cost-optimal planning in ASP

Cites work

• scientific article; zbMATH DE number 2000818 (Why is no real title available?)
• scientific article; zbMATH DE number 2038893 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• Action language \(\mathcal{BC}+\)
• An introduction to the planning domain definition language
• An investigation of multi-agent planning in CLP
• Nonmonotonic causal theories
• Planning as satisfiability: heuristics
• Planning as satisfiability: parallel plans and algorithms for plan search
• Stable models and difference logic
• System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers
• Tight logic programs
• Why are there so many loop formulas?

This page was built for publication: Optimal planning with expressive action languages as constraint optimization

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