{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:21:08Z","timestamp":1725794468662},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662433751"},{"type":"electronic","value":"9783662433768"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43376-8_2","type":"book-chapter","created":{"date-parts":[[2014,5,22]],"date-time":"2014-05-22T07:25:59Z","timestamp":1400743559000},"page":"17-32","source":"Crossref","is-referenced-by-count":1,"title":["Verifiable Decisions in Autonomous Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Lenz","family":"Belzner","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Thielscher, M.: Action Programming Languages. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers (2008)","DOI":"10.2200\/S00143ED1V01Y200807AIM005"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theor. Comput. Sci.\u00a0285(2), 187\u2013243 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"issue":"1","key":"2_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci.\u00a096(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR5","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"M.L. Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming, 1st edn. John Wiley & Sons, Inc., New York (1994)","edition":"1"},{"key":"2_CR6","unstructured":"Boutilier, C., Reiter, R., Price, B.: Symbolic dynamic programming for first-order mdps. In: Nebel, B. (ed.) IJCAI, pp. 690\u2013700. Morgan Kaufmann (2001)"},{"key":"2_CR7","first-page":"463","volume":"4","author":"J. Mccarthy","year":"1969","unstructured":"Mccarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, illustrated edn. The MIT Press, Massachusetts (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"2_CR9","unstructured":"Belzner, L.: Action programming in rewriting logic. TPLP 13(4-5-online-suppl.) (2013)"},{"issue":"4-5","key":"2_CR10","first-page":"533","volume":"5","author":"M. Thielscher","year":"2005","unstructured":"Thielscher, M.: Flux: A logic programming method for reasoning agents. TPLP\u00a05(4-5), 533\u2013565 (2005)","journal-title":"TPLP"},{"issue":"11","key":"2_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2006.03.017","volume":"174","author":"S. Eker","year":"2007","unstructured":"Eker, S., Mart\u00ed-Oliet, N., Meseguer, J., Verdejo, A.: Deduction, strategies, and rewriting. Electronic Notes in Theoretical Computer Science\u00a0174(11), 3\u201325 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-44881-0_3","volume-title":"Rewriting Techniques and Applications","author":"S. Eker","year":"2003","unstructured":"Eker, S.: Associative-commutative rewriting on large terms. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 14\u201329. Springer, Heidelberg (2003)"},{"key":"2_CR13","volume-title":"Principles of model checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P., et al.: Principles of model checking, vol.\u00a026202649. MIT Press, Cambridge (2008)"},{"key":"2_CR14","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10720246_1","volume-title":"Recent Advances in AI Planning","author":"F. Giunchiglia","year":"2000","unstructured":"Giunchiglia, F., Traverso, P.: Planning as model checking. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS (LNAI), vol.\u00a01809, pp. 1\u201320. Springer, Heidelberg (2000)"},{"key":"2_CR15","unstructured":"Boutilier, C., Reiter, R., Soutchanski, M., Thrun, S., et al.: Decision-theoretic, high-level agent programming in the situation calculus. In: AAAI\/IAAI, pp. 355\u2013362 (2000)"},{"key":"2_CR16","unstructured":"H\u00f6lldobler, S., Skvortsova, O.: A logic-based approach to dynamic programming. In: Proceedings of the Workshop on Learning and Planning in Markov Processes\u2013Advances and Challenges at the Nineteenth National Conference on Artificial Intelligence (AAAI 2004), pp. 31\u201336 (2004)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","first-page":"25","volume-title":"FMCO 2011","author":"R. De Nicola","year":"2012","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 25\u201348. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43376-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T22:11:05Z","timestamp":1558908665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43376-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662433751","9783662433768"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43376-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}