B. C. Williams and J. De-kleer, Qualitative reasoning about physical systems: A return to roots, Artificial Intelligence, vol.51, issue.1-3, pp.1-9, 1991.
DOI : 10.1016/0004-3702(91)90106-T

B. Bredeweg and P. Struss, Current topics in qualitative reasoning. AI Magazine, pp.13-16, 2003.

E. Davis, Representations of Commonsense Knowledge; Morgan Kaufmann series in representation and reasoning, 1990.

L. Mösenlechner and M. Beetz, Parameterizing actions to have the appropriate effects, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011.
DOI : 10.1109/IROS.2011.6094883

M. Knauff, G. Strube, C. Jola, R. Rauh, and C. Schlieder, The Psychological Validity of Qualitative Spatial Reasoning in One Dimension, Spatial Cognition & Computation, vol.270, issue.2, pp.167-188, 2004.
DOI : 10.1037//0096-3445.109.2.119

A. Kirsch, Robot learning language ??? Integrating programming and learning for cognitive systems, Robotics and Autonomous Systems, vol.57, issue.9, pp.943-954, 2009.
DOI : 10.1016/j.robot.2009.05.001
URL : https://hal.archives-ouvertes.fr/hal-01405664

S. G. Lemaignan, E. Karg, M. Mainprice, M. Kirsch, A. Alami et al., Human-robot interaction in the MORSE simulator, Proceedings of the seventh annual ACM/IEEE international conference on Human-Robot Interaction, HRI '12, 2012.
DOI : 10.1145/2157689.2157745
URL : https://hal.archives-ouvertes.fr/hal-00667026

A. G. Cohn and J. Renz, Chapter 13 Qualitative Spatial Representation and Reasoning, Foundations of Artificial Intelligence, vol.3, pp.551-596, 2008.
DOI : 10.1016/S1574-6526(07)03013-1

R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev, Spatial Logic + Temporal Logic = ? In Handbook of Spatial Logics, pp.497-564, 2007.

M. B. Vilain and H. A. Kautz, Constraint propagation algorithms for temporal reasoning, Proceedings of the 5th National Conference of the 13 American Association for Artificial Intelligence (AAAI-86), pp.377-382, 1986.
DOI : 10.1016/b978-1-4832-1447-4.50034-1

J. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983.
DOI : 10.1145/182.358434

P. Balbiani and J. Condotta, Tractability Results in the Block Algebra, Journal of Logic and Computation, vol.12, issue.5, pp.885-909, 2002.
DOI : 10.1093/logcom/12.5.885

J. Renz and D. Mitra, Qualitative Direction Calculi with Arbitrary Granularity Proceedings of PRICAI-04, pp.65-74, 2004.

R. Moratz and M. Ragni, Qualitative spatial reasoning about relative point position, Journal of Visual Languages & Computing, vol.19, issue.1, pp.75-98, 2008.
DOI : 10.1016/j.jvlc.2006.11.001

G. Ligozat and J. Renz, What Is a Qualitative Calculus? A General Framework Proceedings of PRICAI-04, LNCS, vol.3157, pp.53-64, 2004.

F. Dylla, T. Mossakowski, T. Schneider, and D. Wolter, Algebraic Properties of Qualitative Spatio-temporal Calculi. COSIT, LNCS, vol.8116, pp.516-536, 2013.
DOI : 10.1007/978-3-319-01790-7_28
URL : http://www.informatik.uni-bremen.de/tdki/research/papers/2013/DMSW-COSIT13.pdf

A. Kreutzmann and D. Wolter, Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming, Proceedings of 21st European Conference on Artificial Intelligence (ECAI), 2014.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

M. Antoniotti and B. Mishra, Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers, Proceedings of 1995 IEEE International Conference on Robotics and Automation, pp.1441-1446, 1995.
DOI : 10.1109/ROBOT.1995.525480
URL : http://ftp.gwdg.de/pub/languages/nyu.edu/tech-reports/tr675.ps.Z

H. Kress-gazit, T. Wongpiromsarn, U. Topcu, and . Correct, Reactive Robot Control from Abstraction and Temporal Logic Specifications. Special Issue of the IEEE Robotics and Automation Magazine on Formal Methods for Robotics and Automation, pp.65-74, 2011.

M. Kloetzer and C. Belta, LTL Planning for Groups of Robots, 2006 IEEE International Conference on Networking, Sensing and Control, pp.578-583, 2006.
DOI : 10.1109/ICNSC.2006.1673210

S. L. Smith, J. T?mová, C. Belta, and D. Rus, Optimal path planning under temporal logic constraints, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.3288-3293, 2010.
DOI : 10.1109/IROS.2010.5650896
URL : http://arxiv.org/pdf/1007.2212.pdf

M. Kloetzer and C. Belta, Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications, IEEE Transactions on Robotics, vol.26, issue.1, pp.48-61, 2010.
DOI : 10.1109/TRO.2009.2035776

A. Kreutzmann, I. Colonius, D. Wolter, F. Dylla, L. Frommberger et al., Temporal logic for process specification and recognition, Intelligent Service Robotics, vol.32, issue.3, pp.5-18
DOI : 10.1007/978-3-642-03185-4

F. Kröger and S. Merz, Temporal Logic and State Systems, Theoretical Computer Science, 2008.

M. Bauland, M. Mundhenk, T. Schneider, H. Schnoor, and I. Schnoor, Vollmer, H. The tractability of model checking for LTL: The good, the bad, and the ugly fragments, ACM Transactions on Computational Logic

M. Gebser, T. Grote, and T. Schaub, Coala: A Compiler from Action Languages to ASP, 12th European Conference (JELIA, pp.360-364, 2010.
DOI : 10.1016/S0004-3702(02)00367-3

R. Grosu and S. A. Smolka, Monte Carlo Model Checking In Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol.3440, pp.271-286, 2005.

I. H. Witten and E. Frank, Data mining, ACM SIGMOD Record, vol.31, issue.1, 2005.
DOI : 10.1145/507338.507355

M. Quigley, K. Conley, B. Gerkey, J. Faust, T. Foote et al., ROS: an open-source Robot Operating System, Proceedings of ICRA workshop on open source software, 2009.

A. Kirsch, M. Schweitzer, and M. Beetz, Making Robot Learning Controllable: A Case Study in Robot Navigation, Proceedings of the ICAPS Workshop on Plan Execution: A Reality Check, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01329017

L. Frommberger, LEARNING TO BEHAVE IN SPACE: A QUALITATIVE SPATIAL REPRESENTATION FOR ROBOT NAVIGATION WITH REINFORCEMENT LEARNING, International Journal on Artificial Intelligence Tools, vol.7, issue.03, pp.465-482, 2008.
DOI : 10.1016/S0004-3702(00)00017-5

J. Kulick, M. Toussaint, T. Lang, and M. Lopes, Active Learning for Teaching a Robot Grounded Relational Symbols, Proceedings of IJCAI, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00871858

M. Beetz, L. Mösenlechner, and M. Tenorth, CRAM — A Cognitive Robot Abstract Machine for everyday manipulation in human environments, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.1012-1017, 2010.
DOI : 10.1109/IROS.2010.5650146

M. Tenorth, A. C. Perzylo, R. Lafrenz, and M. Beetz, Representation and Exchange of Knowledge About Actions, Objects, and Environments in the RoboEarth Framework, IEEE Transactions on Automation Science and Engineering, vol.10, issue.3, pp.2013-643
DOI : 10.1109/TASE.2013.2244883

M. Tenorth, G. Bartels, and M. Beetz, Knowledge-based Specification of Robot Motions, Proceedings of the 21st European Conference on Artificial Intelligence, p.2014, 2014.

H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl, GOLOG: A logic programming language for dynamic domains, The Journal of Logic Programming, vol.31, issue.1-3, pp.59-83, 1997.
DOI : 10.1016/S0743-1066(96)00121-5
URL : https://doi.org/10.1016/s0743-1066(96)00121-5

H. Levesque, G. Lakemeyer, and . Cognitive-robotics, In Handbook of Knowledge Representation, 2007.

T. Mitchell, The Discipline of Machine Learning, 2006.

A. Kirsch, Integration of Programming and Learning in a Control Language for Autonomous Robots Performing Everyday Activities, 2008.
URL : https://hal.archives-ouvertes.fr/tel-01373266

S. Thrun, Towards programming tools for robots that integrate probabilistic computation and learning, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065), 2000.
DOI : 10.1109/ROBOT.2000.844075
URL : http://www.cs.cmu.edu/~thrun/papers/thrun.ces-icra.ps.gz

S. Thrun, A Framework for Programming Embedded Systems: Initial Design and Results, 1998.

D. Andre and S. Russell, Programmable Reinforcement Learning Agents, Proceedings of the 13th Conference on Neural Information Processing Systems, pp.1019-1025, 2001.

D. Andre, Programmable Reinforcement Learning Agents c 2014 by the authors This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license, 2003.