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

27th International Conference on Automated Planning and Scheduling June 19-23, 2017, Pittsburgh, USA KEPS 2017

Source URL: icaps17.icaps-conference.org

International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer

Source URL: www.neil.dantam.name

• Theoretical computer science
• Robot kinematics
• Constraint programming
• NP-complete problems
• Motion planning
• Pursuit-evasion
• Satisfiability modulo theories
• Automated planning and scheduling
• Liveness

From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep

Source URL: www.haz.ca

• Probability
• Amyloidosis
• Logic
• Formal epistemology
• Non-classical logic
• Probabilistic logic
• Automated planning and scheduling
• PRNP
• Markov decision process
• Planning Domain Definition Language
• PP

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling Goal-Based Action Priors David Abel, D. Ellis Hershkowitz, Gabriel Barth-Maron, Stephen Brawner, Kevin O’Farrell, James Mac

Source URL: h2r.cs.brown.edu

• Cognitive science
• Artificial intelligence
• Automated planning and scheduling
• Probability
• Dynamic programming
• Markov processes
• Stochastic control
• Reinforcement learning
• Markov decision process
• Motion planning
• Action selection
• Prior probability

An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract

Source URL: ceur-ws.org

• Theoretical computer science
• Automated planning and scheduling
• Logic in computer science
• Mathematics
• Computational complexity theory
• Boolean algebra
• Electronic design automation
• Formal methods
• Boolean satisfiability problem
• Maximum satisfiability problem
• Planning Domain Definition Language
• Satz

A model of planning, action, and interpretation with goal reasoning

Source URL: www.cogsys.org

• Artificial intelligence
• Cognitive science
• Cognition
• Neuropsychology
• Reasoning
• Neuropsychological assessment
• Belief revision
• Inductive reasoning
• Automated planning and scheduling
• Intelligent agent
• Abductive reasoning
• Planning

Social Hierarchical Learning: Enabling Human-Robot Teaming Bradley Hayes Dept. of Computer Science,Yale University Human-robot teaming has the potential to enable robots to perform well beyond

Source URL: bradhayes.info

• Automated planning and scheduling
• Hierarchical task network
• Partially observable Markov decision process
• Robotics
• Robot
• Windows Task Scheduler
• Probability theory
• Software
• Computing

Towards Team Formation via Automated Planning Christian Muise∗ , Frank Dignum† , Paolo Felli∗ , Tim Miller∗ , Adrian R. Pearce∗ , Liz Sonenberg∗ ∗ Department of Computing and Information Systems, Universit

Source URL: www.haz.ca

• Multi-agent systems
• Automated planning and scheduling

Microsoft Word - IBSAlgorithms.doc

Source URL: foibg.com

• Finite automata
• Timed automaton
• Logic in computer science
• Automated planning and scheduling
• Fluent
• Finite-state machine
• Theoretical computer science
• Planning Domain Definition Language
• Models of computation