{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:24:17Z","timestamp":1725488657098},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671008"},{"type":"electronic","value":"9783540465645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46564-2_11","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T10:03:18Z","timestamp":1186826598000},"page":"176-191","source":"Crossref","is-referenced-by-count":0,"title":["Non-situation Calculus and Database Systems"],"prefix":"10.1007","author":[{"given":"Pedro A.","family":"Matos","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o P.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,9]]},"reference":[{"issue":"5","key":"11_CR1","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1093\/logcom\/3.5.517","volume":"3","author":"G. Brewka","year":"1993","unstructured":"Gerhard Brewka and Joachim Hertzberg. How to Do Things with Worlds: on Formalizing Actions and Plans. Journal of Logic and Computation, 3(5): 517\u2013532, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR2","unstructured":"Herbert B. Enderton. A mathematical introduction to logic. Academic Press Inc., 1972."},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. E. Fikes","year":"1971","unstructured":"Richard E. Fikes and Nils J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 2:189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"11_CR4","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. Journal of Logic Programming, 17:301\u2013321, 1993.","journal-title":"Journal of Logic Programming"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"M. L. Ginsberg","year":"1988","unstructured":"Mathew L. Ginsberg and David E. Smith. Reasoning about Action I: A Possible Worlds Approach. Artificial Intelligence, 35:165\u2013195, 1988.","journal-title":"Artificial Intelligence"},{"key":"11_CR6","unstructured":"Fausto Giunchiglia and Chiara Ghidini. Local model semantics, or contextual reasoning = locality and compatibility\u201d. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference, pages 282\u2013289, 1998."},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","volume":"92","author":"F. Lin","year":"1997","unstructured":"Fangzhen Lin and Ray Reiter. How to progress a database. Artificial Intelligence, 92:131\u2013167, 1997.","journal-title":"Artificial Intelligence"},{"key":"11_CR8","volume-title":"Some properties of non-situation calculus","author":"P. A. Matos","year":"1999","unstructured":"Pedro A. Matos. Some properties of non-situation calculus. Technical report, Grupo de Intelig\u00eancia Artificial, Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, Lisboa, Portugal, 1999. Available as http:\/\/www.gia.ist.utl.pt\/~pedro\/techrep\/nsc.ps ."},{"key":"11_CR9","first-page":"129","volume":"9","author":"J. McCarthy","year":"1979","unstructured":"John McCarthy. First order theories of individual concepts and propositions. In Machine Intelligence, volume 9, pages 129\u2013148. Ellis Horwood, 1979. Available as http:\/\/www-formal.stanford.edu\/jmc\/concepts.html .","journal-title":"Machine Intelligence"},{"key":"11_CR10","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"John McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, volume 4, pages 463\u2013502. Edinburg University Press, 1969.","journal-title":"Machine Intelligence"},{"issue":"5","key":"11_CR11","first-page":"465","volume":"4","author":"P. Edwin","year":"1994","unstructured":"Edwin P. D. Pednault. ADL and the State-Transition Model of Action. Journal of Logic and Computation, 4(5):465\u2013512, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Raymond Reiter. On formalizing database updates: Preliminary report. In Proc. 3rd International Conference on Extending Database Technologies, pages 10\u201320, 1992.","DOI":"10.1007\/BFb0032420"},{"key":"11_CR13","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:337\u2013351, 1993.","journal-title":"Artificial Intelligence"},{"key":"11_CR14","unstructured":"Raymond Reiter. The projection problem in the situation calculus: A soundness and completeness result, with an application to database updates. In Proceedings of the International Conference on Knowledge Representation and Reasoning, 1996."},{"key":"11_CR15","unstructured":"Stanley J. Rosenschein. Plan synthesis: A logical perspective. In Proceedings of the. Seventh International Joint Conference on Artificial Intelligence, pages 331\u2013337, 1981."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Erik Sandewall and Yoav Shoham. Non-monotonic Temporal Reasoning. In Dov Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbok of Artificial Intelligence and Logic Programming, volume 4, pages 439\u2013498. Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198537915.003.0007"},{"key":"11_CR17","unstructured":"Murray Shanahan. Solving the Frame Problem \u2014 A Mathematical Investigation of the Common Sense Law of Inertia. The MIT Press, 1997."},{"key":"11_CR18","unstructured":"Marianne Winslett. Reasoning about action using a possible models approach. In Proceedings of the Seventh National Conference on Artificial Intelligence, pages 89\u201393, 1988."}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46564-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T10:12:01Z","timestamp":1708164721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46564-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671008","9783540465645"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46564-2_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}