27. PuK-Workshop: Planung/Scheduling und Konfigurieren/Entwerfen
暂无分享,去创建一个
Jürgen Sauer | Stefan Edelkamp | Bernd Schattenberg | J. Sauer | Stefan Edelkamp | Bernd Schattenberg
[1] Gene Cooperman,et al. New Methods for Using Cayley Graphs in Interconnection Networks , 1992, Discret. Appl. Math..
[2] Nathan R. Sturtevant,et al. Minimizing Writes in Parallel External Memory Search , 2013, IJCAI.
[3] Martha E. Pollack,et al. Planning Technology for Intelligent Cognitive Orthotics , 2002, AIPS.
[4] Jonathan Schaeffer,et al. Solving Checkers , 2005, IJCAI.
[5] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[6] Jorge A. Baier,et al. HTN Planning with Preferences , 2009, IJCAI.
[7] Stefan Edelkamp,et al. GPU Exploration of Two-Player Games with Perfect Hash Functions , 2010, SOCS.
[8] Stefan Edelkamp,et al. On the Compilation of Plan Constraints and Preferences , 2006, ICAPS.
[9] Yu Zhang,et al. Solution space reasoning to improve IQ-ASyMTRe in tightly-coupled multirobot tasks , 2011, 2011 IEEE International Conference on Robotics and Automation.
[10] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[11] Lars Karlsson,et al. Towards planning with very expressive languages via problem decomposition into multiple CSPs , 2012 .
[12] Patrick Doherty,et al. A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems , 2009, Autonomous Agents and Multi-Agent Systems.
[13] Evren Sirin,et al. Web Service Composition with User Preferences , 2008, ESWC.
[14] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[15] Ivan Serina,et al. An Approach to Temporal Planning and Scheduling in Domains with Predictable Exogenous Events , 2011, J. Artif. Intell. Res..
[16] D. McDermott. Transformational Planning of Reactive Behavior , 1992 .
[17] Daniel S. Weld,et al. UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.
[18] Stefan Edelkamp,et al. Optimal Symbolic Planning with Action Costs and Preferences , 2009, IJCAI.
[19] David E. Smith. Choosing Objectives in Over-Subscription Planning , 2004, ICAPS.
[20] Paolo Traverso,et al. Automated planning - theory and practice , 2004 .
[21] Daniele Magazzeni. Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS-11) , 2011, ICAPS 2011.
[22] Hector Geffner,et al. Soft Goals Can Be Compiled Away , 2009, J. Artif. Intell. Res..
[23] Susanne Biundo-Stephan,et al. A Heuristic for Hybrid Planning with Preferences , 2012, FLAIRS Conference.
[24] Nicola Muscettola,et al. Model-based executive control through reactive planning for autonomous rovers , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).
[25] Jürgen Sauer,et al. Lastgangbezogene Prioritätsregeln für eine Produktionsplanung bei der Veredelung von Glasprodukten , 2013, BUIS-Tage.
[26] Frederic Py,et al. A deliberative architecture for AUV control , 2008, 2008 IEEE International Conference on Robotics and Automation.
[27] Amedeo Cesta,et al. Supporting Interaction in the ROBOCARE Intelligent Assistive Environment , 2007, Interaction Challenges for Intelligent Assistants.
[28] Stefan Edelkamp,et al. Layer-Abstraction for Symbolically Solving General Two-Player Games , 2010, SOCS.
[29] Félix Ingrand,et al. Interleaving Temporal Planning and Execution in Robotics Domains , 2004, AAAI.
[30] Jorge A. Baier,et al. A Heuristic Search Approach to Planning with Temporally Extended Preferences , 2007, IJCAI.
[31] Susanne Biundo-Stephan,et al. Advanced user assistance based on AI planning , 2011, Cognitive Systems Research.
[32] Amedeo Cesta,et al. Towards ambient intelligence for the domestic care of the elderly , 2005 .
[33] Susanne Biundo-Stephan,et al. A Framework for Interactive Hybrid Planning , 2009, KI.
[34] Susanne Biundo-Stephan,et al. Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations , 2012, ICAPS.
[35] Stefan Edelkamp,et al. Transition Trees for Cost-Optimal Symbolic Planning , 2013, ICAPS.
[36] Yu Zhang,et al. Considering inter-task resource constraints in task allocation , 2012, Autonomous Agents and Multi-Agent Systems.
[37] Lynne E. Parker,et al. Building Multirobot Coalitions Through Automated Task Solution Synthesis , 2006, Proceedings of the IEEE.
[38] Michael P. Wellman,et al. Planning and Control , 1991 .
[39] Rina Dechter,et al. Temporal Constraint Networks , 1989, Artif. Intell..
[40] Andrew Howard,et al. Design and use paradigms for Gazebo, an open-source multi-robot simulator , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).
[41] Amedeo Cesta,et al. Unifying planning and scheduling as timelines in a component-based perspective , 2008 .
[42] Malik Ghallab,et al. Representation and Control in IxTeT, a Temporal Planner , 1994, AIPS.
[43] Stefan Edelkamp,et al. On the Complexity of BDDs for State Space Search: A Case Study in Connect Four , 2011, AAAI.
[44] Frederic Py,et al. Adaptive Control for Autonomous Underwater Vehicles , 2008, AAAI.
[45] Alessandro Saffiotti,et al. The PEIS-Ecology project: Vision and results , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[46] Moritz Tenorth,et al. KnowRob: A knowledge processing infrastructure for cognition-enabled robots , 2013, Int. J. Robotics Res..
[47] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[48] L. Victor Allis,et al. A Knowledge-Based Approach of Connect-Four , 1988, J. Int. Comput. Games Assoc..
[49] Michael Beetz,et al. Anticipating and forestalling execution failures in structured reactive plans , 1996 .
[50] Yu Zhang,et al. Task allocation with executable coalitions in multirobot tasks , 2012, 2012 IEEE International Conference on Robotics and Automation.
[51] Cees Witteveen,et al. Context-Aware Logistic Routing and Scheduling , 2007, ICAPS.
[52] Michael Beetz,et al. Parameterizing actions to have the appropriate effects , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[53] Stephen F. Smith,et al. A Constraint-Based Method for Project Scheduling with Time Windows , 2002, J. Heuristics.
[54] Alfons Laarman,et al. Multi-core and/or Symbolic Model Checking , 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
[55] Stefan Edelkamp,et al. Lex-Partitioning: A New Option for BDD Search , 2012, GRAPHITE.
[56] Lawrence R. Rabiner,et al. A tutorial on hidden Markov models and selected applications in speech recognition , 1989, Proc. IEEE.
[57] Martha E. Pollack,et al. Flaw Selection Strategies for Partial-Order Planning , 1997, J. Artif. Intell. Res..
[58] Martin Dietzfelbinger,et al. Perfect Hashing for State Spaces in BDD Representation , 2009, KI.
[59] J. Neumann,et al. Theory of games and economic behavior , 1945, 100 Years of Math Milestones.
[60] Henri E. Bal,et al. Awari is Solved , 2002, J. Int. Comput. Games Assoc..
[61] Håkan L. S. Younes,et al. VHPOP: Versatile Heuristic Partial Order Planner , 2003, J. Artif. Intell. Res..
[62] David A. McAllester,et al. Systematic Nonlinear Planning , 1991, AAAI.