Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Heuristics
• Rippling
• Mathematical induction
• Cognition

Automated Planning and Scheduling ΕΟ Constellations’ Operations with Ant Colony Optimization Evridiki Vasileia Ntagiou Surrey Space Centre, University of Surrey Abstract

Source URL: icaps16.icaps-conference.org

• Mathematics
• Computational complexity theory
• Nature-inspired metaheuristics
• Applied mathematics
• Ant colony optimization algorithms
• Swarm intelligence
• Optimization problem
• Mathematical optimization
• Ant
• Swarm behaviour
• Combinatorial optimization
• Shortest path problem

Dissertation Abstract: Numeric Planning Johannes Aldinger Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-AlleeFreiburg, Germany

Source URL: icaps16.icaps-conference.org

• Automated planning and scheduling
• Planning Domain Definition Language
• Mathematics
• Heuristic
• Search algorithm
• Algorithm
• Equation solving
• Philosophy of mathematics
• Abstraction

Temporal Inference In Forward Search Temporal Planning Dissertation Abstract Atif Talukdar Supervisors: Maria Fox and Derek Long King’s College London London WC2R 2LS

Source URL: icaps16.icaps-conference.org

• Logic
• Metaphysics
• Philosophy of science
• Theoretical philosophy
• Reasoning
• Logic in computer science
• Expert systems
• Inference
• Logical consequence
• Causality
• Automated planning and scheduling
• Forward chaining

Human-Robot Communication in Automated Planning Aleck MacNally University of Melbourne Parkville VIC 3010

Source URL: icaps16.icaps-conference.org

• Robotics
• Artificial intelligence
• Humanrobot interaction
• Robot
• Emerging technologies
• Multi-agent system
• Cognitive robotics
• Leonardo
• Humanoid robot

Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri

Source URL: icaps16.icaps-conference.org

• Control theory
• Systems science
• Automated planning and scheduling
• Classical control theory
• Metaphysics
• Mathematical optimization
• Systems theory
• Nonlinear system
• Planning Domain Definition Language
• Motion planning
• Controllability
• Trajectory optimization

PDF Document

Source URL: www.planning.ri.gov

PDF Document

Source URL: www.planning.gov.pg

PDF Document

Source URL: www.planning.ri.gov

PDF Document

Source URL: www.planning.ri.gov