{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:58Z","timestamp":1725488158013},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649922"},{"type":"electronic","value":"9783540497950"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49795-1_16","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T14:47:38Z","timestamp":1186411658000},"page":"183-194","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of Agent Programs Using Action Models"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 M.","family":"Ram\u00edrez","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,1,14]]},"reference":[{"key":"16_CR1","unstructured":"F. Bacchus, J. Halpern, and H. Levesque. Reasoning about noisy sensors in the situation calculus. In Proceedings IJCAI-95, pages 1933\u20131940, 1995. 194"},{"key":"16_CR2","unstructured":"C. Baral and T. Son. Relating theories of actions and reactive robot control. In Proc. AAAI 96 Workshop on Theories of action, Planning and Robot Control: Bridging the gap, 1996. 184, 194"},{"key":"16_CR3","unstructured":"Blind. A model for actions knowledge and contingent plans. submitted to AAAI-97, 1997. 184, 188"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"R. Brooks. The behavior language user\u2019s guide. Technical report, AI Lab., MIT, 1989. 183","DOI":"10.21236\/ADA225808"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"R.A. Brooks. The behavior language; user\u2019s guide. Technical report, MIT AI Lab, 1990. 184","DOI":"10.21236\/ADA225808"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"R.E. Fikes and N. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189\u2013208, 1971. 187","journal-title":"Artificial Intelligence"},{"key":"16_CR7","unstructured":"H. Geffner and J. Wainer. Towards a practial model of actions and knowledge. Submitted, 1998. 188, 194"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz. Representing action and change by logic programs. J. of Logic Programming, 17:301\u2013322, 1993. 183, 184","journal-title":"J. of Logic Programming"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"J.C. Latombe. Robot Motion Planning. KAP, 1991. 189","DOI":"10.1007\/978-1-4615-4022-9"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0004-3702(94)00010-X","volume":"73","author":"Y. Lesperance","year":"1995","unstructured":"Y. Lesperance and H. Levesque. Indexical knowledge and robot action. Artificial Intelligence, 73:69\u2013116, 1995. 189","journal-title":"Artificial Intelligence"},{"key":"16_CR11","unstructured":"H.J. Levesque. What is planning in the presence of sensing? In Proc. AAAI 96 Workshop on Theories of action, Planning and Robot Control: Bridging the gap, 1996. 184, 194"},{"key":"16_CR12","volume-title":"Formal Theories of the Commonsense World","author":"R. Moore","year":"1985","unstructured":"R. Moore. A formal theory of knowledge and action. In J. Hobbs and R. Moore, editors, Formal Theories of the Commonsense World. Ablex Publishing Co., Norwood, N.J., 1985. 184, 188"},{"key":"16_CR13","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1613\/jair.30","volume":"1","author":"N. Nilsson","year":"1994","unstructured":"N. Nilsson. Teleo-reactive programs for agent control. JAIR, 1:139\u2013158, 1994. 184, 193","journal-title":"JAIR"},{"key":"16_CR14","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1613\/jair.30","volume":"1","author":"N. Nilsson","year":"1994","unstructured":"N. Nilsson. Teleoreactive programs for agent control. Journal of Artificial Intelligence Research, 1:139\u2013158, 1994. 183, 193","journal-title":"Journal of Artificial Intelligence Research"},{"key":"16_CR15","unstructured":"R. Scherl and H. Levesque. The frame problem and knowledge producing actions. In Proceedings of AAAI-93, pages 689\u2013695. MIT Press, 1993. 184, 188, 190"},{"key":"16_CR16","unstructured":"M. Shanahan. Noise and the commonsense informatic situation for mobile robot. In Proceedings AAAI-96, pages 1098\u20131103, 1996. 194"},{"key":"16_CR17","unstructured":"Y. Shoham. Agent oriented programming. Technical report, Robotics Lab, Computer Science Department, Stanford University, 1993. 184"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence \u2014 IBERAMIA 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49795-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:49:30Z","timestamp":1556725770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49795-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649922","9783540497950"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-49795-1_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}