Planning - PDFSEARCH.IO - Document Search Engine

Planning
Results: 185579

#	Item
31	Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 11:35:12 Automated theorem proving Heuristics Rippling Mathematical induction Cognition
32	Automated Planning and Scheduling ΕΟ Constellations’ Operations with Ant Colony Optimization Evridiki Vasileia Ntagiou Surrey Space Centre, University of Surrey Abstract Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:37 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
33	Dissertation Abstract: Numeric Planning Johannes Aldinger Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-AlleeFreiburg, Germany Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:13 Automated planning and scheduling Planning Domain Definition Language Mathematics Heuristic Search algorithm Algorithm Equation solving Philosophy of mathematics Abstraction
34	Temporal Inference In Forward Search Temporal Planning Dissertation Abstract Atif Talukdar Supervisors: Maria Fox and Derek Long King’s College London London WC2R 2LS Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:43 Logic Metaphysics Philosophy of science Theoretical philosophy Reasoning Logic in computer science Expert systems Inference Logical consequence Causality Automated planning and scheduling Forward chaining
35	Human-Robot Communication in Automated Planning Aleck MacNally University of Melbourne Parkville VIC 3010 Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:32 Robotics Artificial intelligence Humanrobot interaction Robot Emerging technologies Multi-agent system Cognitive robotics Leonardo Humanoid robot
36	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 Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:29 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
37	PDF Document Add to Reading List Source URL: www.planning.ri.gov - Date: 2018-05-02 09:40:50
38	PDF Document Add to Reading List Source URL: www.planning.gov.pg - Date: 2017-04-07 02:49:49
39	PDF Document Add to Reading List Source URL: www.planning.ri.gov - Date: 2017-05-04 13:28:42
40	PDF Document Add to Reading List Source URL: www.planning.ri.gov - Date: 2018-05-02 09:40:50