{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:16:32Z","timestamp":1725538592396},"publisher-location":"Boston, MA","reference-count":17,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441902207"},{"type":"electronic","value":"9781441902214"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-1-4419-0221-4_45","type":"book-chapter","created":{"date-parts":[[2009,10,3]],"date-time":"2009-10-03T08:01:49Z","timestamp":1254556909000},"page":"379-388","source":"Crossref","is-referenced-by-count":0,"title":["Sensing Inertial and Continuously-Changing World Features"],"prefix":"10.1007","author":[{"given":"Theodore","family":"Patkos","sequence":"first","affiliation":[]},{"given":"Dimitris","family":"Plexousakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1\u20134","key":"45_CR1_45","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 28(1\u20134), 47\u2013106 (2000)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"45_CR2_45","doi-asserted-by":"crossref","unstructured":"Demolombe, R., Pozos-Parra, M.: A simple and tractable extension of situation calculus to epistemic logic. 12th International Symposium on Methodologies for Intelligent Systems (ISMIS-00) pp. 515\u2013524","DOI":"10.1007\/3-540-39963-1_54"},{"key":"45_CR3_45","unstructured":"Fritz, C., Baier, J.A., McIlraith, S.A.: ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. In: Proceedings International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 600\u2013610. Australia (2008)"},{"key":"45_CR4_45","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 3, 297\u2013352 (1994)","journal-title":"Handbook of Logic in Artificial Intelligence and Logic Programming"},{"issue":"2","key":"45_CR5_45","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 (TPLP) 1 (2), 129\u2013184 (2001)","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"key":"45_CR6_45","doi-asserted-by":"publisher","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","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, pp. 452\u2013490. Springer-Verlag, London, UK (2002)"},{"key":"45_CR7_45","unstructured":"Moore, R.C.: A formal theory of knowledge and action. In: Formal Theories of the Common-sense World, pp. 319\u2013358. J. Hobbs, R. Moore (Eds.) (1985)"},{"key":"45_CR8_45","doi-asserted-by":"crossref","unstructured":"Mueller, E.: Commonsense Reasoning, 1st edn. Morgan Kaufmann (2006)","DOI":"10.1016\/B978-012369388-4\/50072-2"},{"key":"45_CR9_45","doi-asserted-by":"crossref","unstructured":"Patkos, T., Plexousakis, D.: A Theory of Action, Knowledge and Time in the Event Calculus. In: SETN '08: Proceedings 5th Hellenic Conference on Artificial Intelligence, pp. 226\u2013238. Springer-Verlag, Berlin, Heidelberg (2008)","DOI":"10.1007\/978-3-540-87881-0_21"},{"key":"45_CR10_45","unstructured":"Petrick, R.P.A., Levesque, H.J.: Knowledge Equivalence in Combined Action Theories. In: KR, pp. 303\u2013314 (2002)"},{"key":"45_CR11_45","unstructured":"Scherl, R.: Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. In: Proceedings 18th International Conference on Artificial Intelligence (IJCAI), pp. 1091\u20131098 (2003)"},{"issue":"1\u20132","key":"45_CR12_45","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 144(1\u20132), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"45_CR13_45","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume":"1600","author":"M. Shanahan","year":"1999","unstructured":"Shanahan, M.: The Event Calculus Explained. Artificial Intelligence Today 1600, 409\u2013430 (1999)","journal-title":"Artificial Intelligence Today"},{"key":"45_CR14_45","first-page":"104","volume-title":"Agent Theories Architectures and Languages","author":"M. Shanahan","year":"2001","unstructured":"Shanahan, M., Witkowski, M.: High-Level Robot Control through Logic. In: ATAL '00: Proceedings 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages, pp. 104\u2013121. Springer-Verlag, London, UK (2001)"},{"key":"45_CR15_45","unstructured":"Thielscher, M.: Representing the Knowledge of a Robot. In: A. Cohn, F. Giunchiglia, B. Selman (eds.) Proceedings International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 109\u2013120. Morgan Kaufmann, Breckenridge, CO (2000)"},{"issue":"3","key":"45_CR16_45","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1010558931274","volume":"67","author":"M. Thielscher","year":"2001","unstructured":"Thielscher, M.: The Concurrent, Continuous Fluent Calculus. Studia Logica 67(3), 315\u2013331 (2001)","journal-title":"Studia Logica"},{"issue":"4\u20135","key":"45_CR17_45","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)","journal-title":"Theory and Practice of Logic Programming"}],"container-title":["IFIP Advances in Information and Communication Technology","Artificial Intelligence Applications and Innovations III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-0221-4_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T22:17:45Z","timestamp":1710627465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-0221-4_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9781441902207","9781441902214"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-0221-4_45","relation":{},"ISSN":["1868-4238"],"issn-type":[{"type":"print","value":"1868-4238"}],"subject":[],"published":{"date-parts":[[2009]]}}}