<--- Back to Details
First PageDocument Content
Epistemology / Reasoning / Knowledge representation / Logic programming / Frame problem / Reasoning system / Automated planning and scheduling / Fluent / Unmanned aerial vehicle / Artificial intelligence / Science / Knowledge
Date: 2012-01-23 11:34:41
Epistemology
Reasoning
Knowledge representation
Logic programming
Frame problem
Reasoning system
Automated planning and scheduling
Fluent
Unmanned aerial vehicle
Artificial intelligence
Science
Knowledge

Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i

Add to Reading List

Source URL: www.ida.liu.se

Download Document from Source Website

File Size: 70,87 KB

Share Document on Facebook

Similar Documents

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

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

DocID: 1xToV - View Document

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

DocID: 1uq7E - View Document

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

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

DocID: 1rgIf - View Document

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

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

DocID: 1rboJ - View Document

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

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

DocID: 1ra2S - View Document