{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:53Z","timestamp":1725457013828},"publisher-location":"Berlin\/Heidelberg","reference-count":4,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540557458"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0031922","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:11:55Z","timestamp":1134281515000},"page":"46-55","source":"Crossref","is-referenced-by-count":0,"title":["Actions with preconditions and postconditions"],"prefix":"10.1007","author":[{"given":"Michael","family":"Morreau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Goldblatt (1987): Logics of Time and Computation, CSLI Lecture Notes, Number 7, Stanford, CA."},{"key":"3_CR2","volume-title":"Belief Revision","author":"Morreau","year":"1992","unstructured":"Morreau (1992): \u201cPlanning from First Principles\u201d In P. G\u00e4rdenfors (ed.) Belief Revision, Cambridge University Press, Cambridge, U.K."},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF00370324","volume":"39","author":"V. Pratt","year":"1980","unstructured":"Pratt, V. (1980) \u201cApplication of Modal Logic to Programming.\u201d Stadia Logica, Vol. 39, pp. 257\u2013274.","journal-title":"Stadia Logica"},{"key":"3_CR4","unstructured":"Winslett (1988): \u201cReasoning about Action Using a Possible Models Approach.\u201d In the Proceedings of AAAI, Vol 1., Morgan Kaufmann Publishers."}],"container-title":["Lecture Notes in Computer Science","Nonclassical Logics and Information Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031922.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:05:21Z","timestamp":1607551521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031922"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540557458"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/bfb0031922","relation":{},"subject":[]}}