Constructing Symbolic Representations for High-Level Planning George Konidaris, Leslie Pack Kaelbling and Tomas Lozano-Perez MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge MA 0213

First Page		Document Content
Date: 2014-04-21 16:38:49 Automated planning and scheduling Philosophy of language Philosophical logic Propositional calculus Mathematical logic Planning Domain Definition Language Symbol grounding Abuse of notation STRIPS Logic Philosophy Linguistics		Constructing Symbolic Representations for High-Level Planning George Konidaris, Leslie Pack Kaelbling and Tomas Lozano-Perez MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge MA 0213 Add to Reading List Source URL: people.csail.mit.edu Download Document from Source Website File Size: 300,64 KB Share Document on Facebook

	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
	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
	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
	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