doi:10.1017/S0269888921000072

Antoniou , G., Batsakis , S., Davies , J., Duke , A., McCluskey , T. L., Peytchev , E., Tachmazidis , I. & Vallati , M. 2019. Enabling the use of a planning agent for urban traffic management via enriched and integrated urban data. Transportation Research Part C: Emerging Technologies 98, 284–297.

Areces , C., Bustos , F., Dominguez , M. & Hoffmann , J. 2014. Optimizing planning domains by automatic action schema splitting. In Proceedings of ICAPS, 11–19.

Balduccini , M., Magazzeni , D., Maratea , M. & Leblanc , E. 2017. CASP solutions for planning in hybrid domains. Theory and Practice of Logic Programming 17(4), 591–633.

Barrett , C. W. & Tinelli , C. 2018. Satisfiability modulo theories. In Handbook of Model Checking, 305–343. Springer.

Bertolucci , R., Capitanelli , A., Maratea , M., Mastrogiovanni , F. & Vallati , M. 2019. Automated planning encodings for the manipulation of articulated objects in 3d with gravity. In Proceedings of the XVIIIth International Conference of the Italian Association for Artificial Intelligence (Ai^*iA), 135–150.

Bit-Monnot , A. 2018. A constraint-based encoding for domain-independent temporal planning. In Principles and Practice of Constraint Programming - 24th International Conference, CP, Hooker, J. N. (eds), Lecture Notes in Computer Science 11008, 30–46. Springer.

Biundo , S., Aylett , R., Beetz , M., Borrajo , D., Cesta , A., Grant , T., McCluskey , T., Milani , A. & Verfaillie , G. 2003. PLANET roadmap. http://planet.hud.ac.uk/home/.

Bofill , M., Espasa , J. & Villaret , M. (2016) A semantic notion of interference for planning modulo theories. In Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS, 56–64.

Bryce , D., Gao , S., Musliner , D. J. & Goldman , R. P. 2015. Smt-based nonlinear PDDL+ planning. In AAAI, 3247–3253. AAAI Press.

Cashmore , M., Magazzeni , D. & Zehtabi , P. 2020. Planning for hybrid systems via satisfiability modulo theories. Journal of Artificial Intelligence Research 67, 235–283.

Chrpa , L., Scala , E. & Vallati , M. 2015. Towards a reformulation based approach for efficient numeric planning: numeric outer entanglements. In Proceedings of SOCS.

Chrpa , L., Vallati , M. & McCluskey , T. L. 2018. Outer entanglements: a general heuristic technique for improving the efficiency of planning algorithms. Journal of Experimental and Theoretical Artificial Intelligence 30(6), 831–856.

Coles , A. J. & Coles , A. 2011. LPRPG-P: relaxed plan heuristics for planning with preferences. In Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS.

Coles , A. J., Coles , A., Fox , M. & Long , D. 2010. Forward-chaining partial-order planning. In Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS, 42–49.

Corrêa , A. B., Pommerening , F., Helmert , M. & Francès , G. 2020. Lifted successor generation using query optimization techniques. In Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS), 80–89.

Della Penna , G., Magazzeni , D., Mercorio , F. & Intrigila , B. 2009. Upmurphi: a tool for universal planning on PDDL+ problems. In ICAPS. AAAI.

Fox , M. & Long , D. 2006. Modelling mixed discrete-continuous domains for planning. Journal of Artificial Intelligence Research 27, 235–297.

Fox , M., Long , D., Tamboise , G. & Isangulov , R. 2018. Creating and executing a well construction/operation plan. US Patent App. 15/541,381.

Franco , S., Vallati , M., Lindsay , A. & McCluskey , T. L. 2019. Improving planning performance in PDDL+ domains via automated predicate reformulation. In Proceedings of the 19th International Conference Computational Science (ICCS), 491–498.

Garrido , A., Morales , L. & Serina , I. 2012 Using AI planning to enhance e-learning processes. In Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS. AAAI.

Ghallab , M., Nau , D. & Traverso , P. 2004. Automated Planning: Theory and Practice. Elsevier.

Gnad , D., Torralba , á., Domínguez , M. A., Areces , C. & Bustos , F. 2019. Learning how to ground a plan - partial grounding in classical planning. In The Thirty-Third AAAI Conference on Artificial Intelligence, 7602–7609. AAAI.

Helmert , M. 2009. Concise finite-domain representations for PDDL planning tasks. Artificial Intelligence 173(5–6), 503–535

Henzinger , T. A. 1996. The theory of hybrid automata. In LICS, 278–292. IEEE Computer Society.

Hoffmann , J. 2003. The metric-ff planning system: Translating “ignoring delete lists” to numeric state variables. Journal of Artificial Intelligence Research 20, 291–341.

Hoffmann , J. & Nebel , B. 2001. The FF planning system: fast plan generation through heuristic search. Journal of Artificial Intelligence Research 14, 253–302.

Kaufmann , B., Leone , N., Perri , S. & Schaub , T. 2016. Grounding and solving in answer set programming. AI Magazine 37(3), 25–32.

Kiam , J. J., Scala , E., Javega , M. R. & Schulte , A. 2020. An ai-based planning framework for HAPS in a time-varying environment. In ICAPS, 412–420. AAAI Press.

Koehler , J. & Hoffmann , J. 2000. On the instantiation of ADL operators involving arbitrary first-order formulas. In PuK.

Lifschitz , V. 2008. What is answer set programming? In AAAI, 1594–1597. AAAI Press.

Lipovetzky , N., Burt , C. N., Pearce , A. R. & Stuckey , P. J. 2014. Planning for mining operations with time and resource constraints. In Proceedings of the International Conference on Automated Planning and Scheduling.

Long , D. & Fox , M. 2003. The 3rd international planning competition: results and analysis. Journal of Artificial Intelligence Research 20, 1–59.

McCluskey , T. L. & Vallati , M. 2017. Embedding automated planning within urban traffic management operations. In Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS, 391–399.

McCluskey , T. L., Vaquero , T. S. & Vallati , M. 2017. Engineering knowledge for automated planning: towards a notion of quality. In Proceedings of the Knowledge Capture Conference, K-CAP, 14:1–14:8.

McDermott , D. V. 2003. Reasoning about autonomous processes in an estimated-regression planner. In ICAPS, 143–152. AAAI.

Newton , M. A. H., Levine , J., Fox , M. & Long , D. 2007. Learning macro-actions for arbitrary planners and domains. In Proceedings of ICAPS.

Parkinson , S., Longstaff , A. & Fletcher , S. 2014. Automated planning to minimise uncertainty of machine tool calibration. Engineering Applications of Artificial Intelligence 30, 63–72.

Petrick , R. P. A. & Foster , M. E. 2013. Planning for social interaction in a robot bartender domain. In Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS.

Piotrowski , W. M., Fox , M., Long , D., Magazzeni , D. & Mercorio , F. 2016. Heuristic planning for hybrid systems. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 4254–4255.

Ramírez , M., Papasimeon , M., Lipovetzky , N., Benke , L., Miller , T., Pearce , A. R., Scala , E. & Zamani , M. 2018. Integrated hybrid planning and programmed control for real time UAV maneuvering. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS, 1318–1326.

Ridder , B. & Fox , M. 2014. Heuristic evaluation based on lifted relaxed planning graphs. In Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS.

Riddle , P. J., Barley , M. W., Franco , S. & Douglas , J. 2015. Automated transformation of PDDL representations. In Proceedings of the International Symposium on Combinatorial Search, SOCS.

Robinson , N., Gretton , C., Pham , D. N. & Sattar , A. 2008. A compact and efficient SAT encoding for planning. In Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS, 296–303.

Scala , E., Haslum , P. & Thiébaux , S. 2016a. Heuristics for numeric planning via subgoaling. In IJCAI, 3228–3234. IJCAI/AAAI Press.

Scala , E., Haslum , P., Thiébaux , S. & Ramírez , M. 2016b. Interval-based relaxation for general numeric planning. In ECAI, Frontiers in Artificial Intelligence and Applications 285, 655–663. IOS Press.

Scala , E., Haslum , P., Thiébaux , S. & Ramírez , M. 2020a. Subgoaling techniques for satisficing and optimal numeric planning. Journal of Artificial Intelligence Research 68, 691–752.

Scala , E., Saetti , A., Serina , I. & Gerevini , A. E. 2020b. Search-guidance mechanisms for numeric planning through subgoaling relaxation. In ICAPS, 226–234. AAAI Press.

Scala , E. & Vallati , M. 2020. Exploiting classical planning grounding in hybrid pddl+ planning engines. In Proceedings of ICTAI.

Shin , J. & Davis , E. 2005. Processes and continuous change in a sat-based planner. Artificial Intelligence 166(1–2), 194–253.

Thiébaux , S., Coffrin , C., Hijazi , H. & Slaney , J. 2013. Planning with mip for supply restoration in power distribution systems. In Proceedings of the International Joint Conference on Artificial Intelligence.

Vallati , M. & Chrpa , L. 2019. On the robustness of domain-independent planning engines: the impact of poorly-engineered knowledge. In Proceedings of the 10th International Conference on Knowledge Capture, K-CAP, 197–204.

Vallati , M., Chrpa , L. & McCluskey , T. L. 2018. What you always wanted to know about the deterministic part of the international planning competition (IPC) 2014 (but were too afraid to ask). Knowledge Engineering Review. 33, e3.

Vallati , M., Chrpa , L., McCluskey , T. L. & Hutter , F. 2020. On the importance of domain model configuration for automated planning engines. arXiv preprint arXiv:2010.07710.

Vallati , M., Hutter , F., Chrpa , L. & McCluskey , T. L. 2015. On the effective configuration of planning domain models. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI, 1704–1711.

Vallati , M., Magazzeni , D., Schutter , B. D., Chrpa , L. & McCluskey , T. L. 2016. Efficient macroscopic urban traffic models for reducing congestion: a PDDL+ planning approach. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 3188–3194.

Younes , H. L. S. & Simmons , R. G. 2003. VHPOP: versatile heuristic partial order planner. Journal of Artificial Intelligence Research 20, 405–430.