{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T16:50:33Z","timestamp":1725814233784},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319144832"},{"type":"electronic","value":"9783319144849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14484-9_14","type":"book-chapter","created":{"date-parts":[[2014,12,12]],"date-time":"2014-12-12T09:01:17Z","timestamp":1418374877000},"page":"271-290","source":"Crossref","is-referenced-by-count":1,"title":["Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation"],"prefix":"10.1007","author":[{"given":"Slawomir","family":"Kmiec","sequence":"first","affiliation":[]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"14_CR1","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM\u00a049(5), 672\u2013713 (2002)","journal-title":"J. ACM"},{"unstructured":"Belardinelli, F., Lomuscio, A., Patrizi, F.: An abstraction technique for the verification of artifact-centric systems. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, pp. 319\u2013328. AAAI Press (2012)","key":"14_CR2"},{"unstructured":"Biere, A.: Bounded model checking. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, pp. 457\u2013481. IOS Press (2009)","key":"14_CR3"},{"doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stirling, C.: Modal mu-calculi. In: Handbook of Modal Logic, vol.\u00a03, pp. 721\u2013756. Elsevier (2007)","key":"14_CR4","DOI":"10.1016\/S1570-2464(07)80015-2"},{"unstructured":"Cla\u00dfen, J., Lakemeyer, G.: A logic for non-terminating Golog programs. In: Brewka, G., Lang, J. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, pp. 589\u2013599. AAAI Press (2008)","key":"14_CR5"},{"unstructured":"Cla\u00dfen, J., Lakemeyer, G.: On the verification of very expressive temporal properties of non-terminating Golog programs. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proceedings of 19th European Conference on Artificial Intelligence, ECAI 2010, Lisbon, Portugal, August 16-20, pp. 887\u2013892. IOS Press (2010)","key":"14_CR6"},{"unstructured":"Cla\u00dfen, J., Liebenberg, M., Lakemeyer, G.: On decidable verification of non-terminating Golog programs. In: Proceedings of the 10th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2013), Beijing, China, pp. 13\u201320 (2013)","key":"14_CR7"},{"unstructured":"De Giacomo, G., Lesperance, Y., Pearce, A.R.: Situation calculus-based programs for representing and reasoning about game structures. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, pp. 445\u2013455 (2010)","key":"14_CR8"},{"issue":"1\u20132","key":"14_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. De Giacomo","year":"2000","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence\u00a0121(1\u20132), 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Patrizi, F.: Bounded Situation Calculus Action Theories and Decidable Verification. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, pp. 467\u2013477. AAAI Press (2012)","key":"14_CR10"},{"unstructured":"Enderton, H.B.: A mathematical introduction to logic. Academic Press (1972)","key":"14_CR11"},{"doi-asserted-by":"crossref","unstructured":"Hamilton, A.G.: Numbers, Sets and Axioms: The Apparatus of Mathematics. Cambridge University Press (1982)","key":"14_CR12","DOI":"10.1017\/CBO9781139171618"},{"issue":"12-13","key":"14_CR13","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1016\/j.artint.2010.05.003","volume":"174","author":"R.F. Kelly","year":"2010","unstructured":"Kelly, R.F., Pearce, A.R.: Property persistence in the situation calculus. Artif. Intell.\u00a0174(12-13), 865\u2013888 (2010)","journal-title":"Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Kmiec, S.: Infinite States Verification in Game-Theoretic Logics. Master\u2019s thesis, Dept. of Electrical Engineering and Computer Science, York University, Toronto, Canada (2013)","key":"14_CR14","DOI":"10.1007\/978-3-319-14484-9_14"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer Aided Verification","author":"A. Lomuscio","year":"2009","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A model checker for the verification of multi-agent systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 682\u2013688. Springer, Heidelberg (2009)"},{"unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press (1969)","key":"14_CR16"},{"issue":"2","key":"14_CR17","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0304-3975(76)90022-0","volume":"3","author":"D. Park","year":"1976","unstructured":"Park, D.: Finiteness is mu-ineffable. Theor. Comput. Sci.\u00a03(2), 173\u2013181 (1976)","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)","key":"14_CR18","DOI":"10.7551\/mitpress\/4074.001.0001"},{"unstructured":"Sardina, S., De Giacomo, G.: Composition of ConGolog programs. In: Boutilier, C. (ed.) IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, pp. 904\u2013910 (2009)","key":"14_CR19"},{"doi-asserted-by":"crossref","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.J.: The cognitive agents specification language and verification environment for multiagent systems. In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, Bologna, Italy, July 15-19, pp. 19\u201326. ACM Press (2002)","key":"14_CR20","DOI":"10.1145\/544743.544746"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14484-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T20:59:44Z","timestamp":1559077184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14484-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319144832","9783319144849"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14484-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}