{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T09:08:31Z","timestamp":1779268111026,"version":"3.51.4"},"publisher-location":"Boston, MA","reference-count":106,"publisher":"Springer US","isbn-type":[{"value":"9780387892986","type":"print"},{"value":"9780387892993","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-89299-3_2","type":"book-chapter","created":{"date-parts":[[2009,6,12]],"date-time":"2009-06-12T03:58:05Z","timestamp":1244779085000},"page":"31-72","source":"Crossref","is-referenced-by-count":37,"title":["IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"De Giacomo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Sardina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,5,29]]},"reference":[{"key":"2_CR1","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management. Models, Methods, and Systems. MIT Press (2004)"},{"key":"2_CR2","first-page":"75","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence","author":"E. Amir","year":"2003","unstructured":"Amir, E., Russell, S.: Logical filtering. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 75\u201382. Acapulco, Mexico (2003)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1018985923441","volume":"22","author":"F. Bacchus","year":"1998","unstructured":"Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence 22, 5\u201327 (1998)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR4","first-page":"492","volume-title":"Proceedings of Principles of Knowledge Representation and Reasoning","author":"J. Baier","year":"2006","unstructured":"Baier, J., McIlraith,S.: Onplanning with programs that sense. In: Proceedings of Principles of Knowledge Representation and Reasoning (KR), pp. 492\u2013502. Lake District, UK (2006)"},{"key":"2_CR5","first-page":"26","volume-title":"Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)","author":"J.A. Baier","year":"2007","unstructured":"Baier, J.A., Fritz, C., McIlraith, S.A.: Exploiting procedural domain control knowledge in state-of-the-art planners. In: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pp. 26\u201333. Providence, Rhode Island (2007)"},{"issue":"3-4","key":"2_CR6","first-page":"211","volume":"2","author":"C. Baral","year":"1998","unstructured":"Baral, C., Son, T.C.: Relating theories of actions and reactive control. Electronic Transactions on Articial Intelligence 2(3-4), 211\u2013271 (1998)","journal-title":"Electronic Transactions on Articial Intelligence"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Belecheanu, R.A., Munroe, S.,Luck, M.,Payne,T., Miller,T., McBurney,P.,Pechoucek, M.: Commercial applications of agents: Lessons, experiences and challenges. In: Proceed","DOI":"10.1145\/1160633.1160932"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Bellifemine, F., Claire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. Wiley (2007)","DOI":"10.1002\/9780470058411"},{"key":"2_CR9","first-page":"10","volume-title":"Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)","author":"S.S. Benfield","year":"2006","unstructured":"Benfield, S.S., Hendrickson, J., Galanti, D.: Making a strong business case for multiagent technology. In: Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 10\u201315. ACM Press, New York, NY, USA (2006)"},{"key":"2_CR10","unstructured":"Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in nondeterministic domains under partial observability via symbolic model checking. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 473\u2013478 (2001)"},{"key":"2_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/9780470061848","volume-title":"Programming Multi-agent Systems in AgentSpeak Using Jason","author":"R.H. Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology. Wiley (2007). Series in Agent Technology"},{"key":"2_CR12","first-page":"387","volume-title":"Proc. of the 4th Canadian Conference on Computer and Robot Vision (CRV\u201907)","author":"O. Borzenko","year":"2007","unstructured":"Borzenko, O., Lesp\u00e9rance, Y., Jenkin., M.: INVICON: a toolkit for knowledge-based control of vision systems. In: Proc. of the 4th Canadian Conference on Computer and Robot Vision (CRV\u201907), pp. 387\u2013394. Montr\u00e9al, QC, Canada (2007)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Borzenko, O., Xu, W., Obsniuk, M., Chopra, A., Jasiobedzki, P., Jenkin, M., Lesp\u00e9rance, Y.: Lights and camera: Intelligently controlled multi-channel pose estimation system. In: Proc. of the IEEE International Conference on Vision Systems (ICVS\u201906). New York, NY, USA (2006). Paper 42 (8 pages)","DOI":"10.1109\/ICVS.2006.40"},{"key":"2_CR14","first-page":"355","volume-title":"Proceedings of the National Conference on Artificial Intelligence (AAAI)","author":"C. Boutilier","year":"2000","unstructured":"Boutilier, C., Reiter, R., Soutchanski, M., Thrun, S.: Decision-theoretic, high-level agent programming in the situation calculus. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 355\u2013362. AAAI Press, Menlo Park, CA (2000)"},{"key":"2_CR15","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press (1987)"},{"issue":"1\u20132","key":"2_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00070-3","volume":"114","author":"W. Burgard","year":"1999","unstructured":"Burgard, W., Cremers, A., Fox, D., H\u00e4hnel, D., Lakemeyer, G., Schulz, D., Steiner, W., Thrun, S.: Experiences with an interactive museum tour-guide robot. Artificial Intelligence 114(1\u20132), 3\u201355 (1999)","journal-title":"Artificial Intelligence"},{"key":"2_CR17","unstructured":"Busetta, P., R\u00f6nnquist, R., Hodgson, A., Lucas, A.: JACK intelligent agents: Components for intelligent agents in Java. AgentLink Newsletter 2 (1999). Agent Oriented Software Pty. Ltd."},{"key":"2_CR18","first-page":"3699","volume-title":"Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","author":"A. Carbone","year":"2005","unstructured":"Carbone, A., Finzi, A., Orlandini, A., Pirri, F., Ugazio, G.: Augmenting situation awareness via model-based control in rescue robots. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 3699\u20133705. Edmonton, AB, Canada (2005)"},{"issue":"6","key":"2_CR19","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0306-4379(02)00012-1","volume":"27","author":"J. Castro","year":"2002","unstructured":"Castro, J., Kolp, M., Mylopoulos, J.: Towards requirements-driven information systems engineering: The Tropos project. Information Systems 27(6), 365\u2013389 (2002)","journal-title":"Information Systems"},{"key":"2_CR20","volume-title":"Integrating Golog and planning: An empirical evaluation","author":"J. Classen","year":"2008","unstructured":"Classen, J., Engelmann, V., Lakemeyer, G., R\u00f6ger, G.: Integrating Golog and planning: An empirical evaluation. In: Non-Monotonic Reasoning Workshop. Sydney, Australia (2008)"},{"key":"2_CR21","unstructured":"Classen, J., Eyerich, P., Lakemeyer, G., Nebel, B.: Towards an integration of planning and Golog. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 1846\u20131851. Hyderabad, India (2007)"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence Journal 42, 213\u2013261 (1990)","journal-title":"Artificial Intelligence Journal"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Dastani, M., de Boer, F.S., Dignum, F., van der Hoek, W., Kroese, M., Meyer, J.J.: Programming the deliberation cycle of cognitive robots. In: Proceedings of the International Cognitive Robotics Workshop (COGROBO). Edmonton, Canada (2002)","DOI":"10.1145\/860575.860592"},{"issue":"1\u20132","key":"2_CR24","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence Journal 121(1\u20132), 109\u2013169 (2000)","journal-title":"Artificial Intelligence Journal"},{"key":"2_CR25","volume-title":"On deliberation under incomplete information and the inadequacy of entailment and consistency-based formalizations","author":"G. Giacomo De","year":"2003","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J., Sardina, S.: On deliberation under incomplete information and the inadequacy of entailment and consistency-based formalizations. In: Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS). Melbourne, Australia (2003)"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-642-60211-5_8","volume-title":"Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter","author":"G. Giacomo De","year":"1999","unstructured":"De Giacomo, G., Levesque, H.J.: An incremental interpreter for high-level programs with sensing. In: H.J. Levesque, F. Pirri (eds.) Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, pp. 86\u2013102. Springer, Berlin (1999)"},{"key":"2_CR27","first-page":"160","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","author":"G. Giacomo De","year":"1999","unstructured":"De Giacomo, G., Levesque, H.J.: Projection using regression and sensors. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 160\u2013165. Stockholm, Sweden (1999)"},{"issue":"4","key":"2_CR28","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1145\/383779.383782","volume":"2","author":"G. Giacomo De","year":"2001","unstructured":"De Giacomo, G., Levesque, H.J., Sardina, S.: Incremental execution of guarded theories. ACM Transactions on Computational Logic (TOCL) 2(4), 495\u2013525 (2001)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"2_CR29","unstructured":"De Giacomo, G., Mancini, T.: Scaling up reasoning about actions using relational database technology. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 245\u2013256 (2004)"},{"key":"2_CR30","unstructured":"De Giacomo, G., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs. In: Proceedings of Principles of Knowledge Representation and Reasoning (KR), pp. 453\u2013465 (1998)"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Dennett, D.: The Intentional Stance. The MIT Press (1987)","DOI":"10.1017\/S0140525X00058611"},{"key":"2_CR32","unstructured":"Doherty, P.: Advanced research with autonomous unmanned aerial vehicles. In: Proceedings of Principles of Knowledge Representation and Reasoning (KR) (2004). Extended abstract for Plenary Talk"},{"key":"2_CR33","unstructured":"Erol, K., Hendler, J.A., Nau, D.S.: HTN planning: Complexity and expressivity. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 1123\u20131228 (1994)"},{"key":"2_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30221-6_25","volume-title":"On-line decision-theoretic Golog for unpredictable domains","author":"A. Ferrein","year":"2004","unstructured":"Ferrein, A., Fritz, C., Lakemeyer, G.: On-line decision-theoretic Golog for unpredictable domains. In: Proc. of 27th German Conference on Artificial Intelligence, pp. 322\u2013336. Ulm, Germany, UK (2004)"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/375735.376112","volume-title":"Proceedings of the Annual Conference on Autonomous Agents (AGENTS)","author":"A. Finzi","year":"2001","unstructured":"Finzi, A., Pirri, F., Pirrone, M., Romano, M.: Autonomous mobile manipulators managing perception and failures. In: Proceedings of the Annual Conference on Autonomous Agents (AGENTS), pp. 196\u2013201. Montr\u00e9al, QC, Canada (2001)"},{"key":"2_CR36","unstructured":"Fritz, C., Baier, J.A., McIlraith, S.A.: ConGolog, Sin Trans: Compiling ConGolog into basic action theories for planning and beyond. In: Proceedings of Principles of Knowledge Representation and Reasoning (KR), pp. 600\u2013610. Sydney, Australia (2008)"},{"key":"2_CR37","unstructured":"Gabaldon, A.: Programming hierarchical task networks in the situation calculus. In: AIPS\u201902 Workshop on On-line Planning and Scheduling. Toulouse, France (2002)"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Gans, G., Jarke, M., Kethers, S., Lakemeyer, G., Ellrich, L., Funken, C., Meister, M.: Requirements modeling for organization networks: A (dis-)trust-based approach. In: Proc. of IEEE Int. Requirements Engineering Conf., pp. 154\u2013163 (2001)","DOI":"10.1109\/ISRE.2001.948555"},{"key":"2_CR39","first-page":"677","volume-title":"Reactive reasoning and planning","author":"M.P. Georgeff","year":"1987","unstructured":"Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 677\u2013682. Seattle, USA (1987)"},{"key":"2_CR40","unstructured":"Gerevini, A., Bonet, B., Givan, B. (eds.): Booklet of 4th International Planning Competition. Lake District, UK (2006). URL http:\/\/www.ldc.usb.ve \/ bonet\/ipc5\/"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Grosskreutz, H., Lakemeyer, G.: ccGolog: an action language with continuous change. Logic Journal of the IGPL (2003)","DOI":"10.1093\/jigpal\/11.2.179"},{"key":"2_CR42","unstructured":"Hindriks, K., Lesp\u00e9rance, Y., Levesque, H.: An embedding of ConGolog in 3APL. Tech. Rep. UU-CS-2000-13, Department of Computer Science, Utrecht University (2000)"},{"key":"2_CR43","first-page":"558","volume-title":"A formal embedding of ConGolog in 3APL","author":"K. Hindriks","year":"2000","unstructured":"Hindriks, K., Lesp\u00e9rance, Y., Levesque, H.J.: A formal embedding of ConGolog in 3APL. In: Proceedings of the European Conference in Artificial Intelligence (ECAI), pp. 558\u2013562. Berlin, Germany (2000)"},{"key":"2_CR44","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2, 357\u2013401 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"2_CR45","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/301136.301202","volume-title":"Proceedings of the Annual Conference on Autonomous Agents (AGENTS)","author":"M.J. Huber","year":"1999","unstructured":"Huber, M.J.: JAM: A BDI-theoretic mobile agent architecture. In: Proceedings of the Annual Conference on Autonomous Agents (AGENTS), pp. 236\u2013243. ACM Press, New York, NY, USA (1999)"},{"key":"2_CR46","unstructured":"Kowalski, R.A.: Using meta-logic to reconcile reactive with rational agents. In: K.R. Apt, F. Turini (eds.) Meta-Logics and Logic Programming, pp. 227\u2013242. The MIT Press (1995)"},{"issue":"1\u20132","key":"2_CR47","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0004-3702(97)00038-6","volume":"97","author":"G. Lakemeyer","year":"1997","unstructured":"Lakemeyer, G.: Relevance from an epistemic perspective. Artificial Intelligence 97(1\u20132), 137\u2013167 (1997)","journal-title":"Artificial Intelligence"},{"key":"2_CR48","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-60211-5_14","volume-title":"Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter","author":"G. Lakemeyer","year":"1999","unstructured":"Lakemeyer, G.: On sensing and off-line interpreting in Golog. In: H. Levesque, F. Pirri (eds.) Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, pp. 173\u2013187. Springer, Berlin (1999)"},{"issue":"9-10","key":"2_CR49","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1080\/08839510290030507","volume":"16","author":"A. Lapouchnian","year":"2002","unstructured":"Lapouchnian, A., Lesp\u00e9rance, Y.: Interfacing IndiGolog andOAA\u2014a toolkit for advanced multiagent applications. Applied Artificial Intelligence 16(9-10), 813\u2013829 (2002)","journal-title":"Applied Artificial Intelligence"},{"key":"2_CR50","first-page":"480","volume-title":"Modeling mental states in agent-oriented requirements engineering","author":"A. Lapouchnian","year":"2006","unstructured":"Lapouchnian, A., Lesp\u00e9rance, Y.: Modeling mental states in agent-oriented requirements engineering. In: Proc. of the 18th Conference on Advanced Information Systems Engineering (CAiSE\u201906), pp. 480\u2013494. Luxembourg (2006)"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"de Leoni, M.: Adaptive Process Management in Pervasive and Highly Dynamic Scenarios. Ph.D. thesis, SAPIENZA - University of Rome (2009)","DOI":"10.4204\/EPTCS.2.7"},{"key":"2_CR52","volume-title":"Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE); CoMA sub-workshop","author":"M. Leoni de","year":"2008","unstructured":"de Leoni, M., Marrella, A., Mecella, M., Valentini, S., Sardina, S.: Coordinating mobile actors in pervasive and mobile scenarios: An AI-based approach. In: Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE); CoMA sub-workshop. IEEE Computer Society, Rome, Italy (2008)"},{"key":"2_CR53","doi-asserted-by":"crossref","unstructured":"de Leoni, M., Mecella, M., De Giacomo, G.: Highly dynamic adaptation in process management systems through execution monitoring. In: Proceedings of the Fifth International Conference on Business Process Management (BPM\u201907), Lecture Notes in Computer Science, vol. 4714, pp. 182\u2013197. Springer, Brisbane, Australia (2007)","DOI":"10.1007\/978-3-540-75183-0_14"},{"key":"2_CR54","first-page":"477","volume-title":"Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)","author":"Y. Lesp\u00e9rance","year":"2008","unstructured":"Lesp\u00e9rance, Y., De Giacomo, G., Ozgovde, A.N.: A model of contingent planning for agent programming languages. In: Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 477\u2013484. Estoril, Portugal (2008)"},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"Lesp\u00e9rance, Y., Levesque, H.J., Ruman, S.J.: An experiment in using Golog to build a personal banking assistant. In: L. Cavedon, A. Rao, W. Wobcke (eds.) Intelligent Agent Systems: Theoretical and Practical Issues (Based on a Workshop Held at PRICAI \u201996 Cairns, Australia, August 1996),, LNAI, vol. 1209, pp. 27\u201343. Springer-Verlag (1997)","DOI":"10.1007\/3-540-62686-7_26"},{"key":"2_CR56","first-page":"49","volume-title":"Proceedings of the International Cognitive RoboticsWorkshop (COGROBO)","author":"Y. Lesp\u00e9rance","year":"2000","unstructured":"Lesp\u00e9rance, Y., Ng, H.K.: Integrating planning into reactive high-level robot programs. In: Proceedings of the International Cognitive RoboticsWorkshop (COGROBO), pp. 49\u201354. Berlin, Germany (2000)"},{"key":"2_CR57","doi-asserted-by":"crossref","unstructured":"Lesp\u00e9rance, Y., Tam, K., Jenkin, M.: Reactivity in a logic-based robot programming framework. In: N. Jennings, Y. Lesp\u00e9rance (eds.) Intelligent Agents VI \u2014 Agent Theories, Architectures, and Languages, 6th International Workshop, ATAL\u201999, Proceedings, LNAI, vol. 1757, pp. 173\u2013187. Springer-Verlag, Berlin (2000)","DOI":"10.1007\/10719619_13"},{"key":"2_CR58","first-page":"1139","volume-title":"Proceedings of the National Conference on Artificial Intelligence (AAAI)","author":"H.J. Levesque","year":"1996","unstructured":"Levesque, H.J.: What is planning in the presence of sensing? In: Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 1139\u20131146. American Association for Artificial Intelligence, Portland, Oregon (1996)"},{"key":"2_CR59","unstructured":"Levesque, H.J.: Planning with loops. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 509\u2013515 (2005)"},{"key":"2_CR60","first-page":"104","volume-title":"Proceedings of the International Cognitive Robotics Workshop (COGROBO)","author":"H.J. Levesque","year":"2000","unstructured":"Levesque, H.J., Pagnucco, M.: LeGolog: Inexpensive experiments in cognitive robotics. In: Proceedings of the International Cognitive Robotics Workshop (COGROBO), pp. 104\u2013 109. Berlin, Germany (2000)"},{"key":"2_CR61","unstructured":"Levesque, H.J., Reiter, R.: High-level robotic control: Beyond planning. A position paper. In: AAAI 1998 Spring Symposium: Integrating Robotics Research: Taking the Next Big Leap (1998)"},{"key":"2_CR62","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31, 59\u201384 (1997)","journal-title":"Journal of Logic Programming"},{"key":"2_CR63","unstructured":"Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice Hall PTR (1999)"},{"key":"2_CR64","volume-title":"Forget it! In: Proceedings of AAAI Fall Symposium on Relevance","author":"F. Lin","year":"1994","unstructured":"Lin, F., Reiter, R.: Forget it! In: Proceedings of AAAI Fall Symposium on Relevance. New Orleans, USA (1994)"},{"key":"2_CR65","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","volume":"92","author":"F. Lin","year":"1997","unstructured":"Lin, F., Reiter, R.: How to progress a database. Artificial Intelligence Journal 92, 131\u2013167 (1997)","journal-title":"Artificial Intelligence Journal"},{"key":"2_CR66","volume-title":"The OASIS air-traffic management system. In: Proceedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI)","author":"M. Ljungberg","year":"1992","unstructured":"Ljungberg, M., Lucas, A.: The OASIS air-traffic management system. In: Proceedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI). Seoul, Korea (1992)"},{"key":"2_CR67","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1080\/088395199117504","volume":"13","author":"D. Martin","year":"1999","unstructured":"Martin, D., Cheyer A, J., Moran, D.: The open agent architecture: A framework for building distributed software systems. Applied Artificial Intelligence 13, 91\u2013128 (1999)","journal-title":"Applied Artificial Intelligence"},{"key":"2_CR68","volume-title":"Web service composition as a planning task: An agent oriented framework","author":"E. Martinez","year":"2005","unstructured":"Martinez, E.: Web service composition as a planning task: An agent oriented framework. Master\u2019s thesis, Department of Computer Science, York University, Toronto,ON, Canada (2005)"},{"key":"2_CR69","first-page":"2","volume-title":"IG-JADE-PKSlib: an agent-based framework for advanced web service composition and provisioning","author":"E. Martinez","year":"2004","unstructured":"Martinez, E., Lesp\u00e9rance, Y.: 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, pp. 2\u201310. New York, NY, USA (2004)"},{"key":"2_CR70","first-page":"62","volume-title":"Web service composition as a planning task: Experiments using knowledge-based planning","author":"E. Martinez","year":"2004","unstructured":"Martinez, E., Lesp\u00e9rance, Y.: Web service composition as a planning task: Experiments using knowledge-based planning. In: Proc. of the ICAPS-2004Workshop on Planning and Scheduling for Web and Grid Services, pp. 62\u201369. Whistler, BC, Canada (2004)"},{"key":"2_CR71","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"2_CR72","unstructured":"McIlraith, S., Son, T.C.: Adapting Golog for programming the semantic web. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), pp. 482\u2013493. Toulouse, France (2002)"},{"key":"2_CR73","unstructured":"Petrick, R., Bacchus, F.: A knowledge-based approach to planning with incomplete information and sensing. In: Proceedings of the International Conference on AI Planning & Scheduling (AIPS), pp. 212\u2013221 (2002)"},{"issue":"3","key":"2_CR74","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/316542.316545","volume":"46","author":"F. Pirri","year":"1999","unstructured":"Pirri, F., Reiter, R.: Some contributions to the metatheory of the situation calculus. Journal of the ACM 46(3), 261\u2013325 (1999)","journal-title":"Journal of the ACM"},{"key":"2_CR75","volume-title":"A structural approach to operational semantics","author":"G.D. Plotkin","year":"1981","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Tech. Rep. DAIMI-FN-19, Computer Science Department, Aarhus University, Denmark (1981)"},{"issue":"1","key":"2_CR76","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0004-3702(92)90104-6","volume":"57","author":"M.E. Pollack","year":"1992","unstructured":"Pollack, M.E.: The uses of plans. Artificial Intelligence Journal 57(1), 43\u201368 (1992)","journal-title":"Artificial Intelligence Journal"},{"key":"2_CR77","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1613\/jair.277","volume":"4","author":"L. Pryor","year":"1996","unstructured":"Pryor, L., Collins, G.: Planning for contingencies: A decision-based approach. J. of Artifi-cial Intelligence Research 4, 287\u2013339 (1996)","journal-title":"J. of Artifi-cial Intelligence Research"},{"key":"2_CR78","doi-asserted-by":"crossref","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: W.V. Velde, J.W. Perram (eds.) Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World. (Agents Breaking Away), Lecture Notes in Computer Science (LNCS), vol. 1038, pp. 42\u201355. Springer-Verlag (1996)","DOI":"10.1007\/BFb0031845"},{"key":"2_CR79","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proceedings of Principles of Knowledge Representation and Reasoning (KR), pp. 473\u2013484 (1991)"},{"key":"2_CR80","doi-asserted-by":"crossref","unstructured":"Reiter, R.: On closed world data bases. In: Logic and Data Bases, pp. 55\u201376 (1977)","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"2_CR81","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: V. Lifschitz (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359\u2013380. Academic Press, San Diego, CA (1991)"},{"key":"2_CR82","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"2_CR83","volume-title":"GOLOG as an agent-programming language: Experiments in developing banking applications. Master\u2019s thesis","author":"S.J. Ruman","year":"1996","unstructured":"Ruman, S.J.: GOLOG as an agent-programming language: Experiments in developing banking applications. Master\u2019s thesis, Department of Computer Science, University of Toronto (1996)"},{"key":"2_CR84","doi-asserted-by":"crossref","unstructured":"Sardina, S.: Local conditional high-level robot programs. In: R. Nieuwenhuis, A. Voronkov (eds.) Proceedings of the International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Lecture Notes in Computer Science (LNCS), vol. 2250, pp. 110\u2013124. Springer, La Habana, Cuba (2001)","DOI":"10.1007\/3-540-45653-8_8"},{"key":"2_CR85","unstructured":"Sardina, S.: IndiGolog: An Integrated Agent Arquitecture: Programmer and User Manual. University of Toronto (2004). URL http:\/\/sourceforge.net\/projects\/indigolog \/"},{"key":"2_CR86","unstructured":"Sardina, S.: Deliberation in agent programming languages. Ph.D. thesis, Department of Computer Science (2005)"},{"issue":"2\u20134","key":"2_CR87","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/B:AMAI.0000031197.13122.aa","volume":"41","author":"S. Sardina","year":"2004","unstructured":"Sardina, S., De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: On the semantics of deliberation in IndiGolog \u2013 from theory to implementation. Annals of Mathematics and Artificial Intelligence 41(2\u20134), 259\u2013299 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR88","first-page":"463","volume-title":"Proceedings of Principles of Knowledge Representation and Reasoning (KR)","author":"S. Sardina","year":"2005","unstructured":"Sardina, S., De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: On the limits of planning over belief states. In: Proceedings of Principles of Knowledge Representation and Reasoning (KR), pp. 463\u2013471. Lake District, UK (2005)"},{"key":"2_CR89","doi-asserted-by":"crossref","unstructured":"Sardina, S., de Silva, L.P., Padgham, L.: Hierarchical planning in BDI agent programming languages: A formal approach. In: H. Nakashima, M.P. Wellman, G. Weiss, P. Stone (eds.) Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1001\u20131008. ACM Press, Hakodate, Japan (2006)","DOI":"10.1145\/1160633.1160813"},{"key":"2_CR90","volume-title":"Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)","author":"S. Sardina","year":"2007","unstructured":"Sardina, S., Padgham, L.: Goals in the context of BDI plan failure and planning. In: E.H. Durfee, M. Yokoo, M.N. Huhns, O. Shehory (eds.) Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS). ACM Press, Hawaii, USA (2007)"},{"key":"2_CR91","first-page":"417","volume-title":"Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)","author":"S. Sardina","year":"2003","unstructured":"Sardina, S., Shapiro, S.: Rational action in agent programs with prioritized goals. In: J.S. Rosenschein, M. Wooldridge, T. Sandholm, M. Yokoo (eds.) Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 417\u2013424. ACM Press, Melbourne, Australia (2003)"},{"key":"2_CR92","unstructured":"Sardina, S., Vassos, S.: The Wumpus World in IndiGolog: A preliminary report. In: L. Morgenstern, M. Pagnucco (eds.) Proceedings of the Workshop on Non-monotonic Reasoning, Action and Change at IJCAI (NRAC-05), pp. 90\u201395 (2005)"},{"issue":"1\u20132","key":"2_CR93","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R.B. Scherl","year":"2003","unstructured":"Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artificial Intelligence Journal 144(1\u20132), 1\u201339 (2003)","journal-title":"Artificial Intelligence Journal"},{"key":"2_CR94","volume-title":"Specifying and verifying multiagent systems using the cognitive agents speci- fication language (CASL). Ph.D. thesis","author":"S. Shapiro","year":"2005","unstructured":"Shapiro, S.: Specifying and verifying multiagent systems using the cognitive agents speci- fication language (CASL). Ph.D. thesis, Department of Computer Science, University of Toronto (2005)"},{"key":"2_CR95","doi-asserted-by":"crossref","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.J.: The cognitive agents specification language and verification environment for multiagent systems. In: C. Castelfranchi,W.L. Johnson (eds.) Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 19\u201326. ACM Press (2002)","DOI":"10.1145\/544741.544746"},{"issue":"1\u20132","key":"2_CR96","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"T.C. Son","year":"2001","unstructured":"Son, T.C., Baral, C.: Formalizing sensing actions \u2014 A transition function based approach. Artificial Intelligence 125(1\u20132), 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"key":"2_CR97","first-page":"19","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","author":"M. Soutchanski","year":"2001","unstructured":"Soutchanski, M.: An on-line decision-theoretic Golog interpreter. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 19\u201326. Seattle, WA, USA (2001)"},{"key":"2_CR98","unstructured":"Thielscher, M.: The fluent calculus. Tech. Rep. CL-2000-01, Computational Logic Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology (2000)"},{"issue":"4\u20135","key":"2_CR99","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1017\/S1471068405002358","volume":"5","author":"M. Thielscher","year":"2005","unstructured":"Thielscher, M.: FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5(4\u20135), 533\u2013565 (2005). Special Issue of Theory and Practice of Logic Programming on Constraint Handling Rules","journal-title":"Theory and Practice of Logic Programming"},{"key":"2_CR100","unstructured":"Vassos, S.: A feasible approach to disjunctive knowledge in situation calculus. Master\u2019s thesis, Department of Computer Science (2005)"},{"key":"2_CR101","first-page":"662","volume-title":"Proceedings of Principles of Knowledge Representation and Reasoning (KR)","author":"S. Vassos","year":"2008","unstructured":"Vassos, S., Lakemeyer, G., Levesque, H.: First-order strong progression for local-effect basic action theories. In: Proceedings of Principles of Knowledge Representation and Reasoning (KR), pp. 662\u2013672. Sydney, Australia (2008)"},{"key":"2_CR102","first-page":"2024","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","author":"S. Vassos","year":"2007","unstructured":"Vassos, S., Levesque, H.: Progression of situation calculus action theories with incomplete information. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 2024\u20132029. Hyderabad, India (2007)"},{"key":"2_CR103","first-page":"1004","volume-title":"Proceedings of the National Conference on Artificial Intelligence (AAAI)","author":"S. Vassos","year":"2008","unstructured":"Vassos, S., Levesque, H.: On the progression of situation calculus basic action theories: Resolving a 10-year-old conjecture. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), pp. 1004\u20131009. Chicago, Illinois, USA (2008)"},{"key":"2_CR104","first-page":"59","volume-title":"Agent-Oriented Information Systems 2001, Proceedings of the 3rd International Bi-Conference Workshop AOIS-2001","author":"X. Wang","year":"2001","unstructured":"Wang, X., Lesp\u00e9rance, Y.: Agent-oriented requirements engineering using ConGolog and i*. In: G.Wagner, K. Karlapalem, Y. Lesp\u00e9rance, E. Yu (eds.) Agent-Oriented Information Systems 2001, Proceedings of the 3rd International Bi-Conference Workshop AOIS-2001, pp. 59\u201378. iCue Publishing, Berlin, Germany (2001)"},{"key":"2_CR105","first-page":"1","volume-title":"Proceedings of the 13th International Workshop on Logic Programming Environments","author":"J. Wielemaker","year":"2003","unstructured":"Wielemaker, J.: An overview of the SWI-Prolog programming environment. In: F. Mesnard, A. Serebenik (eds.) Proceedings of the 13th International Workshop on Logic Programming Environments, pp. 1\u201316. Katholieke Universiteit Leuven, Heverlee, Belgium (2003). CW 371"},{"key":"2_CR106","first-page":"522","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","author":"H.J.L. Yongmei Liu","year":"2005","unstructured":"Yongmei Liu, H.J.L.: Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 522\u2013527. Edinburgh, UK (2005)"}],"container-title":["Multi-Agent Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-89299-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T03:08:11Z","timestamp":1739156891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-89299-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387892986","9780387892993"],"references-count":106,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-89299-3_2","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}