References for Lecture 5: Sensing and Planning under Incomplete Information and Dynamic Evironments November 20, 2007
[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.
[BFM07] Baier, J. and Fritz, C. and McIlraith, S. Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners, Proc. of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07), Providence, RI, USA, 2007.
[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.
[CHL07]Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer: A Situation-Calculus Sematics for an Expressive Fragment of PDDL. Proc. AAAI 2007, 956-961, 2007.
[CorSaf01] Silvia Coradeschi, Alessandro Saffiotti: Perceptual Anchoring of Symbols for Action. Proc. IJCAI 2001: 407-416.
[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.
[DLLS04] G. De Giacomo, Y. Lespérance, H.J. Levesque, and S. Sardina. On the Semantics of Deliberation in IndiGolog - From Theory to Implementation. Annals of Mathematics and Artificial Intelligence, 41(2-4), 259-299, August, 2004.
[DegLev99a] Giuseppe De Giacomo and Hector J. Levesque. Projection Using Regression and Sensors. Proc. IJCAI'99, 160-165, 1999.
[DegLev99b] 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.
[DLS01] Giuseppe De Giacomo, Hector J. Levesque, Sardina Sebastian. Incremental execution of guarded theories. ACM Trans. on Computational Logic 4(2):495-525, 2001.
[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.
[FFL07]Alessandro Farinelli, Alberto Finzi, Thomas Lukasiewicz: Team Programming in Golog under Partial Observability. Proc. IJCAI 2007, 2097-2102, 2007.
[FinLuk04]Alberto Finzi, Thomas Lukasiewicz: Game-Theoretic Agent Programming in Golog. Proc. ECAI 2004, 23-27, 2004.
[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.
[GLL07] Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance: A Logical Theory of Coordination and Joint Ability. Proc. AAAI 2007, 421-426, 2007.
[GoulLes07] A. Goultiaeva and Y. Lespérance. Incremental Plan Recognition in an Agent Programming Framework. Working Notes of the AAAI 2007 Workshop on Plan, Activity, and Intent Recognition (PAIR'07), Vancouver, BC, July, 2007.
[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.
[KhaLes05] Shakil M. Khan, Yves Lespérance: ECASL: a model of rational agency for communicating agents. Proc. AAMAS 2005, 762-769, 2005.
[LapLes02] A. Lapouchnian and Y. Lespérance. Interfacing IndiGolog and OAA - A Toolkit for Advanced Multiagent Applications. Applied Artificial Intelligence 16(9-10), 813-829, 2002.
[LDO07] Y. Lespérance, G. De Giacomo, and A. Ozgovde. A Model of Contingent Planning for Agent Programming Languages. Submitted to AAMAS'08, 2007.
[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.
[LiuLev05] Yongmei Liu, Hector J. Levesque: Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. Proc. IJCAI 2005, 522-527.
[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.
[MarLes04a] E. Martinez and Y. Lespérance. IG-JADE-PKSlib: An Agent-Based Framework for Advanced Web Service Composition and Provisioning. In Proc. of the AAMAS 2004 Workshop on Web-services and Agent-based Engineering, 2-10, New York, NY, USA, July, 2004.
[MarLes04b] E. Martinez and Y. Lespérance. Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning. In Proc. of the ICAPS-2004 Workshop on Planning and Scheduling for Web and Grid Services, 62-69, Whistler, BC, June, 2004.
[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 http://www.cs.toronto.edu/~ssardina.
[SDLL06] S. Sardina, G. De Giacomo, Y. Lespérance, and H.J. Levesque. On the Limits of Planning over Belief States under Strict Uncertainty. In P. Doherty, J. Mylopoulos, C. A. Welty (Eds.), Proceedings, 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2006), 463-471, Lake District, UK, June, 2006.
[SarPad07] Sebastian Sardiña and Lin Padgham. Goals in the Context of BDI Plan Failure and Planning. Proc. AAMAS 2007, 16-24, Honolulu, HI, USA, 2007.
[SarVas05]Sebastian Sardiña and Stavros Vassos. The Wumpus World in IndiGolog: A preliminary report. In L. Morgenstern and M. Pagnucco, editors, Proc. of the Workshop on Non-monotonic Reasoning, Action and Change at IJCAI'05 (NRAC-05), 90-95, 2005.
[ShaWit00] Murray Shanahan, Mark Witkowski: High-Level Robot Control through Logic. Proc. ATAL 2000: 104-121.
[SLL02] Steven Shapiro, Yves Lespérance, Hector J. Levesque: The cognitive agents specification language and verification environment for multiagent systems. Proc. AAMAS 2002, 19-26, 2002.
[SLL07] Shapiro, S., Lespérance, Y., and Levesque, H.J. Goal Change in the Situation Calculus. Journal of Logic and Computation, 17(5), 983-1018, August, 2007.
[Thielscher00] M. Thielscher, The Fluent Calculus: A Specification Language for Robots with Sensors in Nondeterministic, Concurrent, and Ramifying Environments, Technical Report (CL-2000-01).
[Thielscher05] Michael Thielscher: FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5(4-5), 533-565, 2005.
[VVM03] Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent programming in Dribble: from beliefs to goals using plans. Proc. AAMAS 2003, 393-400, 2003.
[VasLev07] Stavros Vassos, Hector J. Levesque: Progression of Situation Calculus Action Theories with Incomplete Information. Proc. IJCAI 2007, 2029-2024.
[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