{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:59:45Z","timestamp":1725566385697},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660767"},{"type":"electronic","value":"9783540487654"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48765-4_41","type":"book-chapter","created":{"date-parts":[[2010,9,24]],"date-time":"2010-09-24T16:27:57Z","timestamp":1285345677000},"page":"372-381","source":"Crossref","is-referenced-by-count":1,"title":["Mechanizing Proofs of Integrity Constraints in the Situation Calculus"],"prefix":"10.1007","author":[{"given":"Emmanuel","family":"Kounalis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Urso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-61286-6_146","volume-title":"Foundations of Intelligent Systems","author":"L. Bertossi","year":"1996","unstructured":"Bertossi, L., Pinto, J., Saez, P., Kapur, D., Subramaniam, M.: Automated proofs of integrity constraints in situation calculus. In: Michalewicz, M., Ra\u015b, Z.W. (eds.) ISMIS 1996. LNCS, vol.\u00a01079, pp. 212\u2013222. Springer, Heidelberg (1996)"},{"issue":"2","key":"41_CR2","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BF00881856","volume":"14","author":"A. Bouhoula","year":"1995","unstructured":"Bouhoula, A., Rusinowitch, M.: Implicit Induction in Conditional Theories. Journal of Automated Reasoning\u00a014(2), 189\u2013235 (1995)","journal-title":"Journal of Automated Reasoning"},{"issue":"5","key":"41_CR3","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1093\/logcom\/5.5.631","volume":"5","author":"A. Bouhoula","year":"1995","unstructured":"Bouhoula, A., Kounalis, E., Rusinowitch, M.: Automated Mathematical Induction. Journal of Logic and Computation\u00a05(5), 631\u2013668 (1995)","journal-title":"Journal of Logic and Computation"},{"key":"41_CR4","unstructured":"Dershowitz, N., Jouannaud, J.P.: Rewriting systems. Handbook of Theoretical Computer Science (1991)"},{"key":"41_CR5","unstructured":"Kounalis, E., Rusinowitch, M.: Mechanizing Inductive Reasoning. In: Proc. 8th (AAAI-1990), pp. 240\u2013245 (1990)"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Kounalis, E., Urso, P.: Mechanizing Proofs of Integrity Constraints in the Situation Calculus, Technical Report. Laboratoire I3S UNSA (1998)","DOI":"10.1007\/978-3-540-48765-4_41"},{"key":"41_CR7","unstructured":"Kounalis, E., Urso, P.: Generalization Discovery for Proofs by Induction in Conditional Theories. In: FLAIRS 1999. AAAI Press, Menlo Park (1999) (to appear)"},{"key":"41_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"41_CR9","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of the artificial intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"Reiter, R.: The Frame Problem in the Situation Calculus: a simple solution (sometimes) and a completeness result for goal regression. A.I and M.T.C: Papers in Honor of J. McCarthy, 359\u2013380 (1991)","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"41_CR11","unstructured":"Reiter, R.: Formalizing database evolution in the situation calculus. In: Proc. of 5th Generation Computer Systems, Tokyo, Japan, pp. 600\u2013609 (1992)"},{"key":"41_CR12","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R. Reiter","year":"1993","unstructured":"Reiter, R.: Proving properties of states in the situation calculus. Artificial Intelligence\u00a064, 337\u2013351 (1993)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Multiple Approaches to Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48765-4_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:04:43Z","timestamp":1558292683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48765-4_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660767","9783540487654"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48765-4_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}