An Introduction to Constraint-Based Temporal Reasoning, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.8, issue.1, 2014. ,
DOI : 10.2200/S00557ED1V01Y201312AIM026
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation, 2014 21st International Symposium on Temporal Representation and Reasoning, pp.27-36, 2014. ,
DOI : 10.1109/TIME.2014.21
Solving Temporal Problems Using SMT: Strong Controllability, Proc. Int. Conf. Principles and Practice of Constraint Programming (CP), 2012. ,
DOI : 10.1007/978-3-642-33558-7_20
Solving temporal problems using SMT: Weak controllability, Proc. AAAI, 2012. ,
Strong temporal planning with uncontrollable durations: a state-space approach, Proc. AAAI, pp.1-7, 2015. ,
Planning and Acting with Temporal and Hierarchical Decomposition Models, International Conference on Tools with Artificial Intelligence (ICTAI), pp.115-121, 2014. ,
New Techniques for Checking Dynamic Controllability of Simple Temporal Networks with Uncertainty, Agents and Artificial Intelligence, pp.170-193, 2015. ,
DOI : 10.1007/978-3-319-25210-0_11
On the Partial Observability of Temporal Uncertainty, Proc. AAAI, pp.1031-1037, 2007. ,
Dynamic Controllability and Dispatchability Relationships, Integration of AI and OR Techniques in Constraint Programming, pp.464-479, 2014. ,
DOI : 10.1007/978-3-319-07046-9_33
Temporal Dynamic Controllability Revisited, Proc. AAAI, pp.1193-1198, 2005. ,
Dynamic control of plans with temporal uncertainty, Proc. IJCAI, pp.494-502, 2001. ,
Incremental Dynamic Controllability Revisited, Proc. ICAPS, pp.337-341, 2013. ,
Incremental Dynamic Controllability in Cubic Worst-Case Time, 2014 21st International Symposium on Temporal Representation and Reasoning, 2014. ,
DOI : 10.1109/TIME.2014.13
A Fast Incremental Algorithm for Maintaining Dispatchability of Partially Controllable Plans, Proc. ICAPS, pp.296-303, 2007. ,
The ANML language, The ICAPS-08 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), 2008. ,
A fast incremental dynamic controllability algorithm, Proc. ICAPS Wksp. on Plan Execution, 2005. ,
Fast transformation of temporal plans for efficient execution, Proc. AAAI, 1998. ,
Handling contingency in temporal constraint networks: from consistency to controllabilities, Journal of Experimental & Theoretical Artificial Intelligence, vol.6, issue.1, 1999. ,
DOI : 10.1016/0933-3657(91)90004-U
Dealing with uncertain durations in temporal constraints networks dedicated to planning, Proc. ECAI, pp.48-52, 1996. ,