{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:48:08Z","timestamp":1725518888193},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878803"},{"type":"electronic","value":"9783540878810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87881-0_21","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T07:10:38Z","timestamp":1221981038000},"page":"226-238","source":"Crossref","is-referenced-by-count":1,"title":["A Theory of Action, Knowledge and Time in the Event Calculus"],"prefix":"10.1007","author":[{"given":"Theodore","family":"Patkos","sequence":"first","affiliation":[]},{"given":"Dimitris","family":"Plexousakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-4","key":"21_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1023\/A:1018900105153","volume":"28","author":"L. Chittaro","year":"2000","unstructured":"Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Annals of Mathematics and Artificial Intelligence\u00a028(1-4), 47\u2013106 (2000)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"21_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/3-540-39963-1_54","volume-title":"Foundations of Intelligent Systems","author":"R. Demolombe","year":"2000","unstructured":"Demolombe, R., del Pilar Pozos Parra, M.: A simple and tractable extension of situation calculus to epistemic logic. In: Ohsuga, S., Ra\u015b, Z.W. (eds.) ISMIS 2000. LNCS (LNAI), vol.\u00a01932, pp. 515\u2013524. Springer, Heidelberg (2000)"},{"key":"21_CR3","unstructured":"Scherl, R.B., Levesque, H.J.: The frame problem and knowledge-producing actions. In: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 1993), Washington, DC, USA, pp. 689\u2013697. AAAI Press\/MIT Press (1993)"},{"issue":"1-2","key":"21_CR4","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\u00a0144(1-2), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"21_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1026761331498","volume":"66","author":"Y. Lesp\u00e9rance","year":"2000","unstructured":"Lesp\u00e9rance, Y., Levesque, H.J., Lin, F., Scherl, R.B.: Ability and knowing how in the situation calculus. Studia Logica\u00a066(1), 165\u2013186 (2000)","journal-title":"Studia Logica"},{"key":"21_CR6","unstructured":"Thielscher, M.: Representing the knowledge of a robot. In: Cohn, A., Giunchiglia, F., Selman, B. (eds.) Proc. of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Breckenridge, CO, pp. 109\u2013120 (2000)"},{"issue":"2","key":"21_CR7","first-page":"129","volume":"1","author":"J. Lobo","year":"2001","unstructured":"Lobo, J., Mendez, G., Taylor, S.R.: Knowledge and the action description language A. Theory and Practice of Logic Programming\u00a01(2), 129\u2013184 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Zimmerbaum, S., Scherl, R.B.: Sensing actions, time, and concurrency in the situation calculus. In: Proc. 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages, London, UK, pp. 31\u201345 (2001)","DOI":"10.1007\/3-540-44631-1_3"},{"key":"21_CR9","first-page":"900","volume-title":"ECAI","author":"J. Forth","year":"2004","unstructured":"Forth, J., Shanahan, M.: Indirect and conditional sensing in the event calculus. In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) ECAI, pp. 900\u2013904. IOS Press, Amsterdam (2004)"},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/oso\/9780198537472.003.0006","volume":"3","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V.: Circumscription. Handbook of Logic in Artificial Intelligence and Logic Programming\u00a03, 297\u2013352 (1994)","journal-title":"Handbook of Logic in Artificial Intelligence and Logic Programming"},{"key":"21_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume-title":"Artificial Intelligence Today","author":"M. Shanahan","year":"1999","unstructured":"Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol.\u00a01600, pp. 409\u2013430. Springer, Heidelberg (1999)"},{"key":"21_CR12","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1007\/3-540-45632-5_17","volume-title":"Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II","author":"R. Miller","year":"2002","unstructured":"Miller, R., Shanahan, M.: Some alternative formulations of the event calculus. In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, London, UK, pp. 452\u2013490. Springer, Heidelberg (2002)"},{"key":"21_CR13","volume-title":"Commonsense Reasoning","author":"E. Mueller","year":"2006","unstructured":"Mueller, E.: Commonsense Reasoning, 1st edn. Morgan Kaufmann, San Francisco (2006)","edition":"1"},{"key":"21_CR14","unstructured":"Levesque, H.J.: What is planning in the presence of sensing? In: Proceedings of 13th National Conference on Artificial Intelligence, vol.\u00a02, pp. 1139\u20131146 (1996)"},{"key":"21_CR15","unstructured":"Lakemeyer, G., Levesque, H.: AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. Principles of Knowledge Representation and Reasoning, 316\u2013329 (1998)"},{"issue":"4","key":"21_CR16","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1145\/383779.383780","volume":"2","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: On Knowledge-Based Programming with Sensing in the Situation Calculus. ACM Transactions on Computational Logic\u00a02(4), 433\u2013457 (2001)","journal-title":"ACM Transactions on Computational Logic"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Theories, Models and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87881-0_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T22:03:41Z","timestamp":1709244221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87881-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878803","9783540878810"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87881-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}