Reformulating Constraint Models for Classical Planning, International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2008. ,
Temporal Planning with Preferences and Time-Dependent Continuous Costs, International Conference on Automated Planning and Scheduling (ICAPS), 2012. ,
Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains, Artificial Intelligence, vol.258, 2018. ,
Developing Domain-Independent Search Control for EUROPA2, ICAPS Workshop on Heuristics and Search for Domainindependent Planning (HSDIP), 2007. ,
Automatic Synthesis of Temporal Invariants, Symposium on Abstraction, Reformulation and Approximation, 2011. ,
Temporal and Hierarchical Models for Planning and Acting in Robotics, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01444926
Delete-free Reachability Analysis for Temporal and Hierarchical Planning, European Conference on Artificial Intelligence (ECAI), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01344083
Fast Planning through Planning Graph Analysis, Artificial Intelligence, vol.90, issue.1-2, 1997. ,
SMT-based Nonlinear PDDL+ Planning, AAAI Conference on Artificial Intelligence, 2015. ,
A Compilation of the Full PDDL+ Language into SMT, International Conference on Automated Planning and Scheduling (ICAPS), 2016. ,
Developing an End-to-End Planning Application from a Timeline Representation Framework, Innovative Applications of Artificial Intelligence Conference (IAAI, 2009. ,
ASPEN: Automated Planning and Scheduling for Space Mission Operations, International Conference on Space Operations (SpaceOps, 2000. ,
Forward-Chaining Partial-Order Planning, International Conference on Automated Planning and Scheduling (ICAPS), 2010. ,
, When is Temporal Planning Really Temporal? In: International Joint Conference on Artificial Intelligence (IJCAI), 2007.
When is Temporal Planning Really Temporal?, 2012. ,
Z3: An efficient SMT Solver, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008. ,
Solving planning-graph by compiling it into CSP, International Conference on Automated Planning and Scheduling (ICAPS, 2000. ,
Planning and Acting with Temporal and Hierarchical Decomposition Models, IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2014. ,
PDDL2.2: The Language for the Classical Part of the 4th International Planning Competition, International Planning Competition (IPC-2004), 2004. ,
Using the Context-Enhanced Additive Heuristic for Temporal and Numeric Planning, Springer Tracts in Advanced Robotics, 2012. ,
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains, Journal of Artificial Intelligence Research, p.20, 2003. ,
Modelling Mixed Discrete-Continuous Domains for Planning, Journal of Artificial Intelligence Research, p.27, 2006. ,
Constraint-Based Attribute and Interval Planning, Constraints, vol.8, issue.4, 2003. ,
Representation and Control in IxTeT, a Temporal Planner, International Conference on Artificial Intelligence Planning and Scheduling (AIPS), 1994. ,
, Automated Planning: Theory and Practice, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01982019
Reasoning with Conditional Time-Intervals, International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2008. ,
Reasoning with Conditional Time-Intervals. Part II: An Algebraical Model for Resources, International Florida Artificial Intelligence Research Society Conference (FLAIRS, 2009. ,
Generalizing graphplan by formulating planning as a CSP, International Joint Conference on Artificial Intelligence (IJCAI, 2003. ,
PDDL: the Planning Domain Definition Language, Tech. rep, 1998. ,
Planning Using Actions with Control Parameters, European Conference on Artificial Intelligence (ECAI), 2016. ,
Numeric Planning with Disjunctive Global Constraints via SMT, International Conference on Automated Planning and Scheduling (ICAPS), 2016. ,
The ANML Language, International Conference on Automated Planning and Scheduling (ICAPS), 2008. ,
, The 2014 International Planning Competition: Progress and Trends, vol.36, 2015.
Branching and Pruning: An Optimal Temporal POCL Planner based on Constraint Programming, Artificial Intelligence, vol.170, issue.3, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00184540
Extension of O(n log n) filtering algorithms for the unary resource constraint to optional activities, Constraints, vol.10, issue.4, 2005. ,