Optimal planning with expressive action languages as constraint optimization

DOI10.1007/978-3-031-43619-2_42MaRDI QIDQ6545569FDOQ6545569

Authors: Enrico Giunchiglia, Armando Tacchella 

Publication date: 29 May 2024

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

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

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)