{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:03:02Z","timestamp":1743112982745,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_33","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"472-485","source":"Crossref","is-referenced-by-count":0,"title":["Action Theories over Generalized Databases with Equality Constraints"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Patrizi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Vassos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"33_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/151634.151635","volume":"18","author":"J. Chomicki","year":"1993","unstructured":"Chomicki, J., Imieli\u0144ski, T.: Finite representation of infinite query answers. ACM Trans. Database Syst.\u00a018(2), 181\u2013223 (1993)","journal-title":"ACM Trans. Database Syst."},{"key":"33_CR2","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. In: Proc. of IJCAI 2011, pp. 827\u2013832 (2011)"},{"key":"33_CR3","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Patrizi, F.: Bounded Situation Calculus Action Theories and Decidable Verification. In: Proc of KR 2012 (2012)"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Model Checking and the Mu-calculus. In: Descriptive Complexity and Finite Models, pp. 185\u2013214 (1996)","DOI":"10.1090\/dimacs\/031\/06"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Enderton, H., Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Academic Press (2001)","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"key":"33_CR6","unstructured":"Gu, Y., Soutchanski, M.: Decidable Reasoning in a Modified Situation Calculus. In: Proc.\u00a0of IJCAI 2007, pp. 1891\u20131897 (2007)"},{"issue":"1","key":"33_CR7","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P.C. Kanellakis","year":"1995","unstructured":"Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Constraint Query Languages. Journal of Computer and System Sciences\u00a051(1), 26\u201352 (1995)","journal-title":"Journal of Computer and System Sciences"},{"key":"33_CR8","unstructured":"Levesque, H.J.: A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. In: Proc.\u00a0of KR 1998 (1998)"},{"issue":"1-2","key":"33_CR9","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","volume":"92","author":"F. Lin","year":"1997","unstructured":"Lin, F., Reiter, R.: How to Progress a Database. Artificial Intelligence\u00a092(1-2), 131\u2013167 (1997)","journal-title":"Artificial Intelligence"},{"key":"33_CR10","unstructured":"Liu, Y., Lakemeyer, G., Levesque, H.J.: A Logic of Limited Belief for Reasoning with Disjunctive Information. In: Proc.\u00a0of KR 2004, pp. 587\u2013597 (2004)"},{"issue":"1","key":"33_CR11","first-page":"259","volume":"31","author":"Y. Liu","year":"2008","unstructured":"Liu, Y., Lakemeyer, G.: On the Expressiveness of Levesque\u2019s Normal Form. J. Artif. Int. Res.\u00a031(1), 259\u2013272 (2008)","journal-title":"J. Artif. Int. Res."},{"key":"33_CR12","unstructured":"Liu, Y., Levesque, H.J.: Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. In: Proc.of IJCAI 2005 (2005)"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Reiter, R.: The Projection Problem in the Situation Calculus: A Soundness and Completeness Result, with an Application to Database Updates. In: Proc.\u00a0of AIPS 1992, pp. 198\u2013203 (1992)","DOI":"10.1016\/B978-0-08-049944-4.50028-8"},{"key":"33_CR15","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.artint.2012.10.005","volume":"195","author":"S. Vassos","year":"2013","unstructured":"Vassos, S., Levesque, H.J.: How to progress a database III. Artificial Intelligence\u00a0195, 203\u2013221 (2013)","journal-title":"Artificial Intelligence"},{"key":"33_CR16","unstructured":"Vassos, S., Patrizi, F.: A Classification of First-Order Progressable Action Theories in Situation Calculus. In: Proc.\u00a0of IJCAI 2013 (2013)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T08:29:10Z","timestamp":1674894550000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}