Symbolic pattern planning

DOI10.1016/J.ARTINT.2026.104482MaRDI QIDQ6840184zbMATH OpenFDO

Authors Enrico Giunchiglia, Marco Maratea

Publication date 23 March 2026

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.ARTINT.2026.104482

zbMATH Keywords

automated planningsymbolic planningclassical and numeric planning

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 2038893 (Why is no real title available?)
• scientific article; zbMATH DE number 2038902 (Why is no real title available?)
• Interval-based relaxation for general numeric planning
• OMTPlan: A Tool for Optimal Planning Modulo Theories
• Planning as satisfiability: parallel plans and algorithms for plan search
• Satisfiability modulo theories
• The MathSAT5 SMT solver

This page was built for publication: Symbolic pattern planning

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