27. PuK-Workshop: Planung/Scheduling und Konfigurieren/Entwerfen

[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.