References for Cognitive Robotics Ph.D. Course Lecture 1

[BHL95] Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors in the Situation Calculus. Proc. IJCAI 1995: 1933-1940.

[BacPet98] F. Bacchus and R. Petrick, Modeling an Agent's Incomplete Knowledge during Planning and Execution, Principles of Knowledge Representation and Reasoning (KR '98), 432-443, 1998.

[Beetz01] Michael Beetz: Structured Reactive Controllers. Autonomous Agents and Multi-Agent Systems 4(1/2): 25-55 (2001).

[BRST00] Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun: Decision-Theoretic, High-Level Agent Programming in the Situation  Calculus. Proc. AAAI/IAAI 2000: 355-362.

[Brooks91] Rodney A. Brooks: Intelligence without Representation. Artificial Intelligence 47(1-3): 139-159 , 1991.

[Bur+98] Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun: The Interactive Museum Tour-Guide Robot. Proc. AAAI/IAAI 1998: 11-18.

[CorSaf01] Silvia Coradeschi, Alessandro Saffiotti: Perceptual Anchoring of Symbols for Action. Proc. IJCAI 2001: 407-416.

[DLS01] Giuseppe De Giacomo, Hector J. Levesque, Sardina Sebastian. Incremental execution of guarded theories. ACM Trans. on Computational Logic 4(2):495-525, 2001.

[DLL00] G. De Giacomo, Y. Lespérance, and H.J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121, 109-169, 2000.

[DegLev00] G. De Giacomo, H. J. Levesque.  An incremental interpreter for high-level programs with sensing.  In Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter, Hector J. Levesque and Fiora Pirri, editors, 86-102, Springer, 1999.

[DRS98] Giuseppe De Giacomo, Ray Reiter, Mikhail Soutchanski.. Execution monitoring of high-level robot programs.  Proc. of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 453-464, 1998.

[DemDel00] Robert Demolombe, Maria del Pilar Pozos Parra: A Simple and Tractable Extension of Situation Calculus to Epistemic Logic. Proc. ISMIS 2000: 515-524.

[FinPir01] Alberto Finzi, Fiora Pirri, Combining Probabilities, Failures and Safety in Robot Control, in Proc. of IJCAI-01, 1331-1336, 2001.

[FPR00] Alberto Finzi, Fiora Pirri and Raymond Reiter, Open World Planning in the Situation Calculus, Proc. of AAAI-2000, 754-760, 2000.

[Firby87] R. James Firby: An Investigation into Reactive Planning in Complex Domains. Proc. AAAI 1987: 202-206.

[Gat92] Erann Gat: Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots. Proc. AAAI 1992: 809-815.

[GroLak01] Henrik Grosskreutz, Gerhard Lakemeyer: Belief Update in the pGOLOG Framework. Proc. KI/ÖGAI 2001: 213-228.

[GroLak00] Henrik Grosskreutz, Gerhard Lakemeyer: cc-Golog: Towards More Realistic Logic-Based Robot Controllers. Proc. AAAI/IAAI 2000: 476-482.

[Iocchi99] L. Iocchi, Design and Development of Cognitive Robots, PhD Thesis, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza". 1999.

[LLLS01] Y. Lespérance, H.J. Levesque, F. Lin, and R.B. Scherl. Ability and Knowing How in the Situation Calculus. Studia Logica, 66(1), 165-186, October ,2000.

[LesNg00] Y. Lespérance and H.-K. Ng. Integrating Planning into Reactive High-Level Robot Programs. Proc. of the Second International Cognitive Robotics Workshop, 49-54, Berlin, Germany, August, 2000.

[LTJ99] Y. Lespérance, K. Tam, M. Jenkin. Reactivity in a Logic-Based Robot Programming Framework. Proc. ATAL 1999: 173-187.

[LRLLS97] H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin and R. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. Journal of Logic Programming, 31, 59-84, 1997.

[Levesque96] H.J. Levesque. What is planning in the presence of sensing? Proc. of the Thirteenth National Conference on Artificial Intelligence, AAAI-96, Portland, Oregon, August, 1996.

[LinRei94] F. Lin and R. Reiter. State Constraints Revisited. Journal of Logic and Computation, 4(5):655-678, Special Issue on Action and Processes, 1994.

[McCarthy63] McCarthy, John. Situations, Actions, and Causal Laws, Technical Report, Stanford University, 1963; reprinted in Semantic Information Processing, Minsky, M. (ed.), 410-417, MIT Press, Cambridge, MA, 1968.

[MciSch00] McIlraith, S. and Scherl, R. ``What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems'', Proc. of the Seventeenth National Conference on Artificial Intelligence (AAAI'2000), 483-490, August, 2000.

[Nic+98] Nickerson, B., Jasiobedzki, P., Wilkes, D., Jenkin, M., Milios, E., Tsotsos, J., Jepson, A. and Bains, O.N.,  The ARK project: Autonomous Mobile Robots for Known Industrial Environments, Robotics and Autonomous Systems, 25, 83-104, 1998.

[ShaLes01] S. Shapiro and Y. Lespérance. Modeling Multiagent Systems with the Cognitive Agents Specification Language - A Feature Interaction Resolution Application. In Castelfranchi, C. and Lespérance, Y., editors, Intelligent Agents Volume VII - Proceedings of the 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI, vol. 1986, 244-259, Springer-Verlag, Berlin, 2001.

[SPLL00] S. Shapiro, M. Pagnucco, Y. Lespérance, and H.J. Levesque. Iterated Belief Change in the Situation Calculus, in A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR-2000), 527-538, Morgan Kaufmann Publishers, 2000.

[RaoGeo92] Anand S. Rao, Michael P. Georgeff: An Abstract Architecture for Rational Agents. Proc. KR 1992: 439-449.

[Reiter01a] R. Reiter. On Knowledge-Based Programming with Sensing in the Situation Calculus, ACM Transactions on Computational Logic, 2(4), 433-457, 2001.

[Reiter01b] R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.

[Reiter98] Raymond Reiter: Sequential, Temporal GOLOG. Proc. KR 1998: 547-556.

[Reiter91] R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Vladimir Lifschitz (ed.), Academic Press, San Diego, CA, 1991, pp.359-380.

[Sandewall97] Erik Sandewall: Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. Proc. HART 1997: 3-17.

[Sardina01] Sebastian Sardiña, Local Conditional High-Level Robot Programs (extended version) , Extended version of paper submitted to Logic for Programming, Artificial Intelligence and Reasoning (LPAR-01) 2001. Available at

[ShaWit00] Murray Shanahan, Mark Witkowski: High-Level Robot Control through Logic. Proc. ATAL 2000: 104-121.

[Thielscher00] M. Thielscher, The Fluent Calculus: A Specification Language for Robots with Sensors in Nondeterministic, Concurrent, and Ramifying Environments, Technical Report (CL-2000-01) ,

[WCG01] Brian C. Williams, Seung Chung, Vineet Gupta, Mode Estimation of Model-based Programs, Proc. IJCAI 2001: 579-590.

[WooJen95] Wooldridge M. and Jennings, N.R., Intelligent Agents: Theory and Practice, Knowledge Engineering Review, 10 (2), 115-152, 1995