{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:58Z","timestamp":1725663958657},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584674"},{"type":"electronic","value":"9783540489795"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58467-6_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:13:12Z","timestamp":1330254792000},"page":"226-236","source":"Crossref","is-referenced-by-count":2,"title":["Program verification techniques as a tool for reasoning about action and change"],"prefix":"10.1007","author":[{"given":"Witold","family":"\u0141ukaszewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ewa","family":"Madali\u0144ska-Bugaj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"20_CR1","unstructured":"Baker, A. B., \u201cA Simple Solution to the Yale Shooting Problem\u201d, in: Proc. Principles of Knowledge Representation and Reasoning\u201d, R. J. Brachman, H. J. Levesque, R. Reiter (eds.), Toronto, Canada, 1989, 11\u201319."},{"key":"20_CR2","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Dijkstra E. W., \u201cA Discipline of Programming\u201d, Prentice Hall, Englewood Cliffs, 1976."},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"Hanks, S., McDermott, D., \u201cNonmonotonic Logic and Temporal Projection\u201d, Artificial Intelligence, 33, 1987, 379\u2013412.","journal-title":"Artificial Intelligence"},{"key":"20_CR4","unstructured":"Kautz, H. A., \u201cThe Logic of Persistence\u201d, in: Proc. AAAI-86, 1986, 401\u2013405."},{"key":"20_CR5","unstructured":"Lifschitz, V., \u201cFormal Theories of Action: Preliminary Report\u201d, in: Proc. IJCAI-87, 1987, 966\u2013972."},{"key":"20_CR6","first-page":"35","volume-title":"Readings in Nonmonotonic Reasoning","author":"V. Lifschitz","year":"1988","unstructured":"Lifschitz, V., \u201cFormal Theories of Action\u201d, in: Readings in Nonmonotonic Reasoning, M. Ginsberg (ed.), Morgan Kaufmann Publishers, Palo Alto, CA, 1988, 35\u201357."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Lifschitz, V., Rabinov, A., \u201cMiracles in Formal Theories of Action\u201d, Artificial Intelligence, 38, 225\u2013237.","DOI":"10.1016\/0004-3702(89)90059-3"},{"key":"20_CR8","unstructured":"McCarthy, J., Hayes, P.J., \u201cSome Philosophical Problems from the Standpoint of Artificial Intelligence\u201d, in: B. Meltzer and D. Michie (eds.), Machine Intelligence 4, 1969, 463\u2013502."},{"key":"20_CR9","unstructured":"Sandewall, E., \u201cFeatures and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems\u201d, Technical Report LITH-IDA-R-92-30, Department of Computer and Information Science, Link\u00f6ping University, Sweden."},{"key":"20_CR10","unstructured":"Sandewall, E., \u201cThe Range of Applicability of Nonmonotonic Logics for the Inertia Problem\u201d, in: Proc. IJCAI-93, 1993, 738\u2013743."}],"container-title":["Lecture Notes in Computer Science","KI-94: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58467-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:21:35Z","timestamp":1605630095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58467-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584674","9783540489795"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58467-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}