{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:12:16Z","timestamp":1725455536858},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635864"},{"type":"electronic","value":"9783540696056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023928","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:20:36Z","timestamp":1132366836000},"page":"267-278","source":"Crossref","is-referenced-by-count":1,"title":["Contextual logic of change and the ramification problem"],"prefix":"10.1007","author":[{"given":"Pedro A.","family":"Matos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o P.","family":"Martins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A. Baker","year":"1991","unstructured":"Andrew Baker. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence, 49:5\u201323, 1991.","journal-title":"Artificial Intelligence"},{"issue":"2&3","key":"23_CR2","first-page":"135","volume":"5","author":"M. Rem\u00e9dios Cravo dos","year":"1993","unstructured":"Maria dos Rem\u00e9dios Cravo and Jo\u00e3o P. Martins. SNePSwD: A Newcomer to the SNePS Family. Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 5(2&3):135\u2013148, 1993.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence (JETAI)"},{"key":"23_CR3","volume-title":"Symbolic Logic \u2014 An Introduction","author":"F. B. Fitch","year":"1952","unstructured":"Frederic Brenton Fitch. Symbolic Logic \u2014 An Introduction. The Ronald Press Company, New York, 1952."},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1146\/annurev.cs.02.060187.002043","volume":"2","author":"M. P. Georgeff","year":"1987","unstructured":"Michael P. Georgeff. Planning. Ann. Rev. Comput. Sci, 2:359\u2013400, 1987. Reprinted in James Allen, James Hendler, and Austin Tate, eds., Readings in Planning, Morgan Kaufmann Publishers, Inc., San Mateo, CA, 1990.","journal-title":"Ann. Rev. Comput. Sci"},{"key":"23_CR5","doi-asserted-by":"crossref","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":"23_CR6","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"Steve Hanks and Drew McDermott. Nonmonotonic Logic and Temporal Projection. Artificial Intelligence, 33:379\u2013412, 1987.","journal-title":"Artificial Intelligence"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"G. Neelakantan Kartha and Vladimir Lifschitz. Actions with Indirect Effects (Preliminary Report). In International Conference on Knowledge Representation and Reasoning, pages 341\u2013350, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"key":"23_CR8","unstructured":"Henry Kautz. The logic of persistence. In Proceedings of the Fifth National Conference on Artificial Intelligence, pages 401\u2013405, 1986."},{"key":"23_CR9","unstructured":"Deepak Kumar and Stuart C. Shapiro. Acting in Service of Inference (and vice-versa). In Douglas Dankel II, editor, Proceedings of the Seventh Florida Artificial Intelligence Research Symposium (FLAIRS-94), May 1994."},{"key":"23_CR10","unstructured":"E. J. Lemmon. Beginning Logic. Van Nostrand Reinhold (International), 1965."},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Vladimir Lifschitz. On the semantic of STRIPS. In Proceedings of the 1986 Workshop on Reasoning about Actions and Plans, pages 1\u20139. Morgan Kaufmann, 1986.","DOI":"10.1016\/B978-0-934613-30-9.50004-4"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Vladimir Lifschitz. Formal theories of action. In F. Brown, editor, The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop, pages 35\u201358. Morgan Kaufmann Publishers, 1987.","DOI":"10.1016\/B978-0-934613-32-3.50009-5"},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0004-3702(90)90021-Q","volume":"46","author":"V. Lifschitz","year":"1990","unstructured":"Vladimir Lifschitz. Frames in the Space of Situations. Artificial Intelligence, 46:365\u2013376, 1990.","journal-title":"Artificial Intelligence"},{"key":"23_CR14","unstructured":"Vladimir Lifschitz. Circunscription. In Dov Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbok of Artificial Intelligence and Logic Programming, volume 3, pages 287\u2013352. Oxford University Press, 1993."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Vladimir Lifschitz. Nested abnormality theories. Artificial Intelligence, 74, 1995.","DOI":"10.1016\/0004-3702(95)98594-E"},{"key":"23_CR16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J. P. Martins","year":"1988","unstructured":"Jo\u00e3o P. Martins and Stuart C. Shapiro. A Model for Belief Revision. Artificial Intelligence, 35:25\u201379, 1988.","journal-title":"Artificial Intelligence"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Pedro A. Matos and Jo\u00e3o P. Martins. Contextual Logic of Change and Contextual Proofs. In Proceedings of the 4th Workshop on Temporal Representation and Reasoning (TIME-97). IEEE Press, 1997.","DOI":"10.1109\/TIME.1997.600797"},{"key":"23_CR18","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. Reprinted in James Allen, James Hendler, and Austin Tate, eds., Readings in Planning, Morgan Kaufmann Publishers, Inc., San Mateo, CA, 1990, 393\u2013435."},{"key":"23_CR19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"John McCarthy. Circumscription \u2014 A Form of Non-Monotonic Reasoning. Artificial Intelligence, 13:27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"23_CR20","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"John McCarthy. Application of Circumscription to Formalizing Common-Sense Knowledge. Artificial Intelligence, 28:89\u2013116, 1986.","journal-title":"Artificial Intelligence"},{"key":"23_CR21","first-page":"503","volume-title":"Proceedings of the Ninth European Conference on Artificial Intelligence","author":"C. Pinto-Ferreira","year":"1990","unstructured":"Carlos Pinto-Ferreira and Jo\u00e3o P. Martins. A Formal System for Reasoning about Change. In Proceedings of the Ninth European Conference on Artificial Intelligence, pages 503\u2013508, London, 1990. Pitman Publishing."},{"issue":"2&3","key":"23_CR22","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1080\/09528139308953770","volume":"5","author":"C. Pinto-Ferreira","year":"1993","unstructured":"Carlos Pinto-Ferreira and Jodo P. Martins. The strict assumption \u2014 a propositional approach to change. Journal of Experimental Theoretical Artificial Intelligence, 5(2&3):215\u2013224, 1993.","journal-title":"Journal of Experimental Theoretical Artificial Intelligence"},{"key":"23_CR23","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."},{"issue":"2\u20135","key":"23_CR24","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0898-1221(92)90143-6","volume":"23","author":"S. C. Shapiro","year":"1992","unstructured":"Stuart C. Shapiro and William J. Rapaport. The SNePS family. Computers Mathematics with Applications, 23(2\u20135):243\u2013275, January-March 1992.","journal-title":"Computers Mathematics with Applications"},{"key":"23_CR25","first-page":"263","volume-title":"The Knowledge Frontier","author":"S. C. Shapiro","year":"1987","unstructured":"S. C. Shapiro and W. J. Rapaport. SNePS Considered as a Fully Intensional Propositional Semantic Network. In N. Cercone and G. McCalla, editors, The Knowledge Frontier, pages 263\u2013315. Springer-Verlag, New York, 1987."},{"key":"23_CR26","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","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023928","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:34:44Z","timestamp":1586554484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635864","9783540696056"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0023928","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}