{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:15Z","timestamp":1725551775523},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644132"},{"type":"electronic","value":"9783540697800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64413-x_38","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T15:22:41Z","timestamp":1270480961000},"page":"221-233","source":"Crossref","is-referenced-by-count":1,"title":["Using histories to model observations in theories of action"],"prefix":"10.1007","author":[{"given":"Javier A.","family":"Pinto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"C. Baral, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypotheses. Journal of Logic Programming, 31:201\u2013244, 1997.","journal-title":"Journal of Logic Programming"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Michael Gelfond and Vladimir Lifschitz. Representing Action and Change by Logic Programs. The Journal of Logic Programming, 17:301\u2013322, 1993.","journal-title":"The Journal of Logic Programming"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. J. Levesque","year":"1997","unstructured":"Hector J. Levesque, Raymond Reiter, Yves Lesp\u00e9rance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. The Journal of Logic Programming, 31:59\u201384, 1997.","journal-title":"The Journal of Logic Programming"},{"issue":"5","key":"14_CR4","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1093\/logcom\/4.5.513","volume":"4","author":"R. Miller","year":"1994","unstructured":"Rob Miller and Murray Shanahan. Narratives in the Situation Calculus. The Journal of Logic and Computation, 4(5):513\u2013530, 1994.","journal-title":"The Journal of Logic and Computation"},{"key":"14_CR5","unstructured":"Javier Pinto. Concurrent Events: Synergy and Cancellation of Effects. In European Conference on Artificial Intelligence, Workshop on Logic and Change, pages 105\u2013110, 1994. URL = ftp:\/\/lyrcc.ing.puc.cl\/pub\/jpinto\/ecai.ps.gz."},{"key":"14_CR6","volume-title":"Temporal Reasoning in the Situation Calculus","author":"J. Pinto","year":"1994","unstructured":"Javier Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, February 1994. URL = ftp:\/\/ftp.cs.toronto.edu\/~cogrob\/jpThesis.ps.Z."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Javier Pinto. Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. Journal of Logic and Computation, 1998. To appear.","DOI":"10.1093\/logcom\/8.6.777"},{"issue":"2\u20134","key":"14_CR8","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01530822","volume":"14","author":"J. Pinto","year":"1995","unstructured":"Javier Pinto and Raymond Reiter. Reasoning about Time in the Situation Calculus. Annals of Mathematics and Artificial Intelligence, 14(2\u20134):251\u2013268, September 1995.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"14_CR9","unstructured":"Javier A. Pinto. On the Existence and Formalization of Natural Events. In Proceedings of the IJCAI Workshop on Nonmonotonic Reasoning, Action and Change., August 1995. URL = ftp:\/\/lyrcc.ing.puc.cl\/pub\/jpinto\/ijcwrk.ps.gz."},{"key":"14_CR10","doi-asserted-by":"crossref","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":"Raymond Reiter. The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a completeness result for goal regression, pages 359\u2013380. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, San Diego, CA, 1991."},{"issue":"2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R. Reiter","year":"1993","unstructured":"Raymond Reiter. Proving Properties of States in the Situation Calculus. Artificial Intelligence, 64(2):337\u2013351, December 1993.","journal-title":"Artificial Intelligence"},{"key":"14_CR12","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference(KR'96)","author":"R. Reiter","year":"1996","unstructured":"Raymond Reiter. Natural Actions, Concurrency and Continuous Time in the Situation Calculus. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference(KR'96), Cambridge, Massachussetts, U.S.A., November 1996. Morgan Kaufmann."},{"key":"14_CR13","first-page":"689","volume-title":"Proceedings AAAI-93","author":"R. Scherl","year":"1993","unstructured":"Richard Scherl and Hector Levesque. The Frame Problem and Knowledge Producing Actions. In Proceedings AAAI-93, pages 689\u2013695, Washington, D.C., July 1993. AAAI."}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning with Complex Representations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64413-X_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,13]],"date-time":"2019-02-13T22:16:22Z","timestamp":1550096182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64413-X_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644132","9783540697800"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-64413-x_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}