{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:24:32Z","timestamp":1725488672257},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653127"},{"type":"electronic","value":"9783540494263"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49426-x_20","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:21:25Z","timestamp":1186172485000},"page":"427-445","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Safety Logics"],"prefix":"10.1007","author":[{"given":"John","family":"Bell","sequence":"first","affiliation":[]},{"given":"Zhisheng","family":"Huang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"20_CR1","first-page":"1","volume-title":"Applied Logic: How, what and why?","author":"J. Bell","year":"1995","unstructured":"Bell, J., Pragmatic Reasoning; A Model-Based Theory. In M. Masuch and L. Polos (eds.) Applied Logic: How, what and why?, Kluwer Academic Publishers, Amsterdam, 1995, pp. 1\u201328."},{"key":"20_CR2","unstructured":"Bell, J., A Planning Theory of Practical Rationality. Proceedings of the AAAI-95 Fall Symposium on Rational Agency, M.I.T., 1995. Fehling, M. (ed.), pp. 1\u20134."},{"key":"20_CR3","unstructured":"Bell, J., Prediction Theories, manuscript."},{"key":"20_CR4","first-page":"293","volume-title":"Proceedings of the 12th European Conference on Artificial Intelligence, ECAI96","author":"J. Bell","year":"1996","unstructured":"Bell, J., and Huang, Z., Safety Logics II: Normative Safety, Proceedings of the 12th European Conference on Artificial Intelligence, ECAI96, W. Wahlster (ed.), John Wiley and Sons, London, 1996, pp. 293\u2013297."},{"key":"20_CR5","series-title":"Lecture Notes in Artificial Intelligence","first-page":"180","volume-title":"Proceedings of ECSQARU\u201995","author":"B. Dunin-Keplicz","year":"1995","unstructured":"Dunin-Keplicz, B., and Radzikowska, A., Epistemic Approach to Actions with Typical E ects. Proceedings of ECSQARU\u201995. Froidevaux, C., and Kholas, J., (Eds). Lecture Notes in Artificial Intelligence No. 946. Springer, Berlin, 1995, pp. 180\u2013188."},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., and Nilsson, N., Strips: A New Approach to the Application of Theorem Proving to Problem Solving, Artificial Intelligence 2, 1971, pp. 189\u2013209.","journal-title":"Artificial Intelligence"},{"key":"20_CR7","unstructured":"Hammond, P., and Sergot, M., Computer Support for Protocol-Based Treatment of Cancer. Proceedings of the 2nd International Conference on the Practical Applications of Prolog, London, 1994."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Harel, D., Dynamic Logic, in: D. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic, Vol.II, (D. Reidel publishing company, 1984), 497\u2013604.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"20_CR9","unstructured":"Huang, Z., Logics for Agents with Bounded Rationality, ILLC Dissertation series 1994-10, University of Amsterdam, 1994."},{"key":"20_CR10","unstructured":"Huang, Z., and Bell, J., Safety Logics I: Absolute Safety. Proceedings of Common Sense\u2019 96. Buvac, S., and Costello, T., (eds.), pp. 59\u201366."},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0004-3702(94)00090-5","volume":"82","author":"Z. Huang","year":"1996","unstructured":"Huang, Z., Masuch, M., and P\u00f3los, L., ALX: an action logic for agents with bounded rationality, Artificial Intelligence82 (1996), pp. 101\u2013153.","journal-title":"Artificial Intelligence"},{"key":"20_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems, Vol. II: Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., and Pneuli, A., Temporal Verification of Reactive Systems, Vol. II: Safety, Springer Verlag, Berlin, 1995."},{"key":"20_CR13","volume-title":"Reasoning About Change","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y. Reasoning About Change, M.I.T. Press, Cambridge, Massachusetts, 1988."},{"key":"20_CR14","unstructured":"von Wright, G., The Logic of Preference, (Edinburgh, 1963)."},{"key":"20_CR15","volume-title":"Practical Planning","author":"D. Wilkins","year":"1988","unstructured":"Wilkins, D., Practical Planning. Morgan Kaufmann, San Mateo, California, 1988."}],"container-title":["Lecture Notes in Computer Science","Applications of Uncertainty Formalisms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49426-X_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T05:05:30Z","timestamp":1586149530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49426-X_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653127","9783540494263"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-49426-x_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}