Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis Andrew Ireland and Jamie Stark School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK

Source URL: www.macs.hw.ac.uk

LGOAP: adaptive layered planning for real-time videogames Giuseppe Maggiore∗ , Carlos Santos∗ , Dino Dini∗ , Frank Peters∗ , Hans Bouwknegt∗ , and Pieter Spronck† ∗ NHTV University of Applied Sciences, Bre

Source URL: eldar.mathstat.uoguelph.ca

• Thought
• Operations research
• Role-playing game terminology
• Artificial intelligence
• Video game development
• Automated planning and scheduling
• Non-player character
• Planning
• Plan
• Simulation
• Partial-order planning
• Action selection

Reviving Partial Order Planning XuanLong Nguyen & Subbarao Kambhampati Department of Computer Science and Engineering Arizona State University, Tempe AZEmail: fxuanlong,

Source URL: rakaposhi.eas.asu.edu

• Automated planning and scheduling
• Operations research
• Partial-order planning
• Search algorithms
• Theoretical computer science
• Graphplan
• Mathematical optimization
• Algorithm
• Heuristic
• Planning

The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1

Source URL: www.cs.umd.edu

• Philosophy
• American philosophers
• Automated planning and scheduling
• Hierarchical task network
• Partial-order planning
• Kurt Gdel
• Logic programming
• Godel

A Stubborn Set Algorithm for Optimal Planning 1 and Malte Helmert2 ¨ Yusra Alkhazraji1 and Martin Wehrle2 and Robert Mattmuller Abstract. We adapt a partial order reduction technique based on

Source URL: ai.cs.unibas.ch

• Artificial intelligence
• A* search algorithm
• Combinatorial optimization
• Pruning
• Algorithm
• Heuristic function
• Specific Area Message Encoding
• Partial order reduction
• Applied mathematics
• Search algorithms
• Mathematics
• Game artificial intelligence

Forward-Chaining Partial-Order Planning Amanda Coles and Andrew Coles and Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G1 1XH, UK email: firstname.lastname

Source URL: www.cis.strath.ac.uk

• Search algorithms
• Mathematics
• Mathematical optimization
• Job shop scheduling
• Partial-order planning
• Planning Domain Definition Language
• A* search algorithm
• STRIPS
• Backtracking
• Artificial intelligence
• Operations research
• Automated planning and scheduling

PDF Document

Source URL: www.cis.strath.ac.uk

• Heuristic function
• Mathematical analysis
• Algorithm
• Applied mathematics
• Automated planning and scheduling
• Partial-order planning
• Lagrange multiplier
• Heuristic
• Mathematical optimization
• Heuristics
• Mathematics

ICAPS 2013: Proceedings of the 1st Workshop on Planning in Continuous Domains Flexible Execution of Partial Order Plans With Temporal Constraints∗ Christian Muise1 , J. Christopher Beck2 , and Sheila A. McIlraith1 1

Source URL: tidel.mie.utoronto.ca

• Planning Domain Definition Language
• Automated planning and scheduling
• Linear temporal logic
• Coordination

Monitoring the Execution of Partial-Order Plans via Regression

Source URL: tidel.mie.utoronto.ca

• Linearization
• Parallel computing
• Action selection
• Algorithm
• Function
• Automated planning and scheduling
• STRIPS
• Mathematics
• Artificial intelligence
• Partial-order planning

Fast Planning Through Planning Graph Analysis∗ Merrick L. Furst School of Computer Science Carnegie Mellon University Pittsburgh PA

Source URL: www.cs.cmu.edu

• Search algorithms
• Automated planning and scheduling
• Graphplan
• Breadth-first search
• STRIPS
• Algorithm
• Graph
• Action description language
• Partial-order planning
• Mathematics
• Graph theory
• Artificial intelligence