New Heuristics for Timeline-Based Planning
暂无分享,去创建一个
[1] Daniel S. Weld. An Introduction to Least Commitment Planning , 1994, AI Mag..
[2] Malik Ghallab,et al. Representation and Control in IxTeT, a Temporal Planner , 1994, AIPS.
[3] Masood Feyzbakhsh Rankooh,et al. Using Satisfiability for Non-optimal Temporal Planning , 2012, JELIA.
[4] Jörg Hoffmann,et al. FF: The Fast-Forward Planning System , 2001, AI Mag..
[5] Nicola Muscettola,et al. HSTS: Integrating Planning and Scheduling , 1993 .
[6] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[7] Avrim Blum,et al. Fast Planning Through Planning Graph Analysis , 1995, IJCAI.
[8] Stephen F. Smith,et al. A Constraint-Based Method for Project Scheduling with Time Windows , 2002, J. Heuristics.
[9] Krzysztof R. Apt,et al. Constraint logic programming using Eclipse , 2007 .
[10] Daniel Le Berre,et al. The Sat4j library, release 2.2 , 2010, J. Satisf. Boolean Model. Comput..
[11] Rajeev Sangal,et al. Proceedings of the 20th international joint conference on Artifical intelligence , 2007 .
[12] Peter J. Stuckey,et al. Constraint Logic Programming , 1992, Handbook of Constraint Programming.
[13] Andrew Coles,et al. COLIN: Planning with Continuous Linear Numeric Change , 2012, J. Artif. Intell. Res..
[14] Jochen Hoenicke,et al. SMTInterpol: An Interpolating SMT Solver , 2012, SPIN.
[15] Blai Bonet,et al. Planning as heuristic search , 2001, Artif. Intell..
[16] Roberto Sebastiani,et al. Lazy Satisability Modulo Theories , 2007, J. Satisf. Boolean Model. Comput..
[17] Frederic Maris,et al. Planification temporellement expressive TLP-GP, un planificateur pour la résolution de problèmes temporellement expressifs , 2010, Rev. d'Intelligence Artif..
[18] David E. Smith,et al. Developing Domain-Independent Search Control for Europa2 , 2007 .
[19] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[20] Steve A. Chien,et al. Timeline-ased Space Operations Scheduling with External Constraints , 2010 .
[21] Maria Fox,et al. PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..
[22] Nicola Muscettola,et al. Planning in Interplanetary Space: Theory and Practice , 2000, AIPS.
[23] Alberto Griggio,et al. The MathSAT5 SMT Solver , 2013, TACAS.
[24] Amedeo Cesta,et al. Developing an End-to-End Planning Application from a Timeline Representation Framework , 2009, IAAI.
[25] Håkan L. S. Younes,et al. VHPOP: Versatile Heuristic Partial Order Planner , 2003, J. Artif. Intell. Res..
[26] Amedeo Cesta,et al. Unifying planning and scheduling as timelines in a component-based perspective , 2008 .
[27] Subbarao Kambhampati,et al. When is Temporal Planning Really Temporal? , 2007, IJCAI.
[28] Amedeo Cesta,et al. Integrating Logic and Constraint Reasoning in a Timeline-Based Planner , 2015, AI*IA.
[29] Andrew Coles,et al. Temporal Planning with Preferences and Time-Dependent Continuous Costs , 2012, ICAPS.
[30] Subbarao Kambhampati,et al. Evaluating Temporal Planning Domains , 2007, ICAPS.