{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:28Z","timestamp":1749221308145},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604365"},{"type":"electronic","value":"9783540474678"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0034799","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T01:56:10Z","timestamp":1134266170000},"page":"59-68","source":"Crossref","is-referenced-by-count":1,"title":["Underlying semantics for the assessment of Reiter's solution to the frame problem"],"prefix":"10.1007","author":[{"given":"Tania","family":"Bedrax-Weiss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leopoldo E.","family":"Bertossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,23]]},"reference":[{"key":"7_CR1","unstructured":"Bedrax-Weiss, T., Bertossi, L.: An assessment of Reiter's general monotonic solution to the frame problem and its applicability to database updates. ECAI-LAC (1994)"},{"key":"7_CR2","series-title":"RP-PUC-DCC-94-1","first-page":"1","volume-title":"Tech. Rept. P. Universidad Catolica de Chile","author":"T. Bedrax-Weiss","year":"1994","unstructured":"Bedrax-Weiss, T., Bertossi, L.: An assessment of Reiter's general monotonic solution to the frame problem and its applicability to database updates. Tech. Rept. P. Universidad Catolica de Chile. Dept. de Ciencia de la Computacion. Santiago. Chile. RP-PUC-DCC-94-1 (1994) 1\u201325"},{"key":"7_CR3","first-page":"292","volume-title":"Logic and Databases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. Logic and Databases. Plenum Press. New York (1978) 292\u2013392"},{"key":"7_CR4","unstructured":"Gelfond, M. and Lifschitz, V.: Describing action and change by logic programs. Joint International Conference and Symposium on Logic Programming (1992)"},{"key":"7_CR5","unstructured":"Haas, A.: The case for domain-specific frame axioms. Workshop: The frame problem in artificial intelligence. (1987) 343\u2013348"},{"key":"7_CR6","unstructured":"Kartha, G.N.: Soundness and completeness theorems for three formalizations of action. IJCAI-93. Chambery. France (1993) 724\u2013729"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"F. Lin","year":"1994","unstructured":"Lin, F., Reiter, R.: State constraints revisited. Journal of Logic and Computation. Special issue on actions and processes 4 (1994) 655\u2013678","journal-title":"Journal of Logic and Computation. Special issue on actions and processes"},{"key":"7_CR8","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artiicial intelligence. Machine Intelligence 4 (1969) 463\u2013502","journal-title":"Machine Intelligence"},{"key":"7_CR9","first-page":"324","volume":"KR-89","author":"E. Pednault","year":"1989","unstructured":"Pednault, E.: ADL: Exploring the middle ground between STRIPS and the situation calculus. KR-89. (1989) 324\u2013332","journal-title":"ADL: Exploring the middle ground between STRIPS and the situation calculus"},{"key":"7_CR10","unstructured":"Reiter, R.: Formalizing database evolution in the situation calculus. Fifth Generation Computer Systems. Tokyo. Japan (1992)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/322186.322189","volume":"27","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: Equality and domain closure in first-order databases. JACM 27 (1980) 235\u2013249","journal-title":"JACM"},{"key":"7_CR12","unstructured":"Reiter. R.: Towards a logical reconstruction of relational databases theory. On Conceptual Modelling: Perspectives from Artificial Intelligence. Databases and Programming Languages. Springer-Verlag (1984) 191\u2013233"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1145\/5383.5388","volume":"2","author":"R. Reiter","year":"1986","unstructured":"Reiter, R.: A sound and sometimes complete query evaluation algorithm for relational databases with null values. JACM 2 (1986) 349\u2013370","journal-title":"JACM"},{"key":"7_CR14","unstructured":"Reiter. R.: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. AI and Math. Theory of Computation: Papers in Honor of John McCarthy. Academic Press. (1991) 359\u2013380"},{"key":"7_CR15","series-title":"KRR-TR-92-3","volume-title":"Tech. Rept. University of Toronto","author":"R. Reiter","year":"1992","unstructured":"Reiter, R.: On specifying database updates. Tech. Rept. University of Toronto. Dept. of Computer Science. Toronto. Canada. KRR-TR-92-3 (1992)"},{"key":"7_CR16","unstructured":"Sandewall. E.: Features and Fluents. The Representation of Knowledge about Dynamical Systems 1. Oxford University Press (1994)"},{"key":"7_CR17","unstructured":"Schubert. L.: Monotonic solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions. Knowledge Representation and Defeasible Reasoning. Kluwer Academic Press. (1990) 23\u201367"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0034799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T13:10:43Z","timestamp":1549458643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0034799"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604365","9783540474678"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0034799","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}