A Knowledge Engineering Environment for P & S with Timelines
暂无分享,去创建一个
[1] Nicola Muscettola,et al. Temporal Dynamic Controllability Revisited , 2005, AAAI.
[2] Jeremy Frank,et al. Constraint-Based Attribute and Interval Planning , 2003, Constraints.
[3] Nicola Muscettola,et al. Dynamic Control Of Plans With Temporal Uncertainty , 2001, IJCAI.
[4] J. Christopher Beck,et al. of Tools and Methods for Knowledge Engineering for Planning & Scheduling , 2011 .
[5] Enrico Tronci,et al. Validation and verification issues in a timeline-based planning system , 2010, The Knowledge Engineering Review.
[6] Steve A. Chien,et al. Timeline-ased Space Operations Scheduling with External Constraints , 2010 .
[7] Nicola Muscettola,et al. Planning in Interplanetary Space: Theory and Practice , 2000, AIPS.
[8] A. Cesta,et al. DDL.1: a formal description of a constraint representation language for physical domains , 1996 .
[9] E. Tronci,et al. ENRICHING APSI WITH VALIDATION CAPABILITIES : THE KEEN ENVIRONMENT AND ITS USE IN ROBOTICS , 2011 .
[10] Enrico Tronci,et al. Flexible Plan Verification: Feasibility Results , 2011, RCRA@AI*IA.
[11] J. Christopher Beck,et al. itSIMPLE: towards an integrated design system for real planning applications , 2013, The Knowledge Engineering Review.
[12] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[13] Amedeo Cesta,et al. Unifying planning and scheduling as timelines in a component-based perspective , 2008 .
[14] David E. Smith,et al. Bridging the gap between planning and scheduling , 2000, The Knowledge Engineering Review.
[15] Maria Fox,et al. VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.
[16] Christoph Lenzen,et al. A generalized timeline representation, services, and interface for automating space mission operations , 2012, SpaceOps 2012 Conference.
[17] Amedeo Cesta,et al. Developing an End-to-End Planning Application from a Timeline Representation Framework , 2009, IAAI.
[18] Lina Khatib,et al. Mapping temporal planning constraints into timed automata , 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
[19] R. Simpson,et al. Planning domain definition using GIPO , 2007, The Knowledge Engineering Review.
[20] Kim G. Larsen,et al. UPPAAL-Tiga: Time for Playing Games! , 2007, CAV.
[21] A. Cesta,et al. Generating Controllers for Flexible Plan Execution : a TGA approach , 2011 .
[22] Nicola Muscettola,et al. HSTS: Integrating Planning and Scheduling , 1993 .
[23] Tristan B. Smith,et al. EUROPA : A Platform for AI Planning, Scheduling, Constraint Programming, and Optimization , 2012 .
[24] Julie A. Shah,et al. Fast Dynamic Scheduling of Disjunctive Temporal Constraint Networks through Incremental Compilation , 2008, ICAPS.
[25] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[26] Stefan Edelkamp,et al. Knowledge Acquisition and Knowledge Engineering in the ModPlan Workbench , 2005 .
[27] Lavindra de Silva,et al. A Goal-oriented Autonomous Controller for Space Exploration , 2011 .
[28] Enrico Tronci,et al. Analyzing Flexible Timeline-based Plans , 2010, ECAI.
[29] Frederic Py,et al. A systematic agent framework for situated autonomous systems , 2010, AAMAS.