{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:19:30Z","timestamp":1725560370507},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540286530"},{"type":"electronic","value":"9783540318255"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11548669_61","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:27:55Z","timestamp":1127831275000},"page":"591-600","source":"Crossref","is-referenced-by-count":0,"title":["Representing the Process Semantics in the Situation Calculus"],"prefix":"10.1007","author":[{"given":"Chunping","family":"Li","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"61_CR1","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming\u00a017, 301\u2013321 (1993)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"61_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1093\/jigpal\/11.2.179","volume":"11","author":"H. Grosskreutz","year":"2003","unstructured":"Grosskreutz, H., Lakemeyer, G.: ccGolog: A logical language dealing with continuous change. Logical Journal of IGPL\u00a011 (2), 179\u2013221 (2003)","journal-title":"Logical Journal of IGPL"},{"key":"61_CR3","unstructured":"Herrmann, C., Thielscher, M.: Reasoning about continuous change. In: Proc. of AAAI, Portland, U.S.A, pp. 639\u2013644 (1996)"},{"key":"61_CR4","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Circumscription. The Handbook of Logic in Artificial Intelligence and Logic Programming, Nonmonotonic Reasoning and Uncertain Reasoning, vol.\u00a03, pp. 297\u2013352. Oxford Science Publications, Oxford (1994)","DOI":"10.1093\/oso\/9780198537472.003.0006"},{"key":"61_CR5","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"61_CR6","unstructured":"Miller, R.: A case study in reasoning about action and continuous change. In: Proc. ECAI, Budapest, Hungary, pp. 624\u2013628 (1996)"},{"key":"61_CR7","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"Levesque, H., Reiter, R., Lin, F., Scherl, R.: GOLOG: a logic programming language for dynamic domains. Journal of Logic Programming\u00a031, 59\u201384 (1997)","journal-title":"Journal of Logic Programming"},{"key":"61_CR8","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01530822","volume":"14","author":"J. Pinto","year":"1995","unstructured":"Pinto, J., Reiter, R.: Reasoning about time in the situation calculus. Annals of Mathematics and Artificial Intelligence\u00a014, 251\u2013268 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"61_CR9","unstructured":"Reiter, R.: Natural actions, concurrency and continuous time in the situation calculus. In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Massachusetts, U.S, pp. 2\u201313 (1996)"},{"key":"61_CR10","unstructured":"Sandewall, E.: The range of applicability and non-monotonic logics for the inertia problem. In: Proc. International Joint Conference on Artificial Intelligence, France, pp. 738\u2013743 (1993)"},{"key":"61_CR11","unstructured":"Thielscher, M.: The logic of dynamic system. In: Proc. International Joint Conference on Artificial Intelligence, Montreal, Canada, pp. 639\u2013644 (1995)"},{"issue":"3","key":"61_CR12","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1010558931274","volume":"67","author":"M. Thielscher","year":"2001","unstructured":"Thielscher, M.: A Concurrent, Continuous Fluent Calculus. Studia Logica\u00a067(3), 315\u2013331 (2001)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11548669_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T10:25:45Z","timestamp":1706610345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11548669_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540286530","9783540318255"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11548669_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}