{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:16Z","timestamp":1725748516158},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_30","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T07:21:30Z","timestamp":1378970490000},"page":"304-316","source":"Crossref","is-referenced-by-count":1,"title":["Combining Equilibrium Logic and Dynamic Logic"],"prefix":"10.1007","author":[{"given":"Luis Fari\u00f1as","family":"del Cerro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ezgi Iraz","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"J. of Symbolic Logic"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Dynamic logic of propositional assignments: a well-behaved variant of PDL. In: Kupferman, O. (ed.) Logic in Computer Science (LICS), New Orleans, June 25-28. IEEE (2013), \n                  \n                    http:\/\/www.ieee.org\/","DOI":"10.1109\/LICS.2013.20"},{"issue":"6","key":"30_CR3","first-page":"645","volume":"2","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: Using methods of declarative logic programming for intelligent information agents. TPLP\u00a02(6), 645\u2013709 (2002)","journal-title":"TPLP"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-20895-9_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"L. Fari\u00f1as del Cerro","year":"2011","unstructured":"Fari\u00f1as del Cerro, L., Herzig, A.: Contingency-based equilibrium logic. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 223\u2013228. Springer, Heidelberg (2011), \n                  \n                    http:\/\/www.springerlink.com"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-24364-6_10","volume-title":"Frontiers of Combining Systems","author":"L. Fari\u00f1as del Cerro","year":"2011","unstructured":"Fari\u00f1as del Cerro, L., Herzig, A.: The modal logic of equilibrium models. In: Tinelli, C., Sofronie-Stokkermans, V. (eds.) FroCoS 2011. LNCS, vol.\u00a06989, pp. 135\u2013146. Springer, Heidelberg (2011), \n                  \n                    http:\/\/www.springerlink.com"},{"issue":"4","key":"30_CR6","first-page":"141","volume":"36","author":"G. Fischer-Servi","year":"1976","unstructured":"Fischer-Servi, G.: On modal logic with an intuitionistic base. Studia Logica\u00a036(4), 141\u2013149 (1976)","journal-title":"Studia Logica"},{"key":"30_CR7","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Veloso, M.M. (ed.) IJCAI, pp. 386\u2013392 (2007)"},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-02846-5_22","volume-title":"Logic Programming","author":"M. Gebser","year":"2009","unstructured":"Gebser, M., Ostrowski, M., Schaub, T.: Constraint answer set solving. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 235\u2013249. Springer, Heidelberg (2009)"},{"key":"30_CR9","unstructured":"Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: Walsh, T. (ed.) International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, pp. 228\u2013233. IJCAI\/AAAI (2011), Erratum at \n                  \n                    http:\/\/www.irit.fr\/~Andreas.Herzig\/P\/Ijcai11.html"},{"key":"30_CR10","first-page":"437","volume":"37","author":"W. Hoek van der","year":"2010","unstructured":"van der Hoek, W., Walther, D., Wooldridge, M.: On the logic of cooperation and the transfer of control. J. of AI Research (JAIR)\u00a037, 437\u2013477 (2010)","journal-title":"J. of AI Research (JAIR)"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: On the dynamics of delegation, cooperation and control: a logical account. In: Proc. AAMAS 2005 (2005)","DOI":"10.1145\/1082473.1082580"},{"issue":"1-2","key":"30_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.artint.2005.01.003","volume":"164","author":"W. Hoek van der","year":"2005","unstructured":"van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artif. Intell.\u00a0164(1-2), 81\u2013119 (2005)","journal-title":"Artif. Intell."},{"key":"#cr-split#-30_CR13.1","doi-asserted-by":"crossref","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: G\u00e4rdenfors, P. (ed.) Belief Revision, pp. 183-203. Cambridge University Press (1992)","DOI":"10.1017\/CBO9780511526664.007"},{"key":"#cr-split#-30_CR13.2","unstructured":"preliminary version in Allen, J.A., Fikes, R., and Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf., pp. 387-394. Morgan Kaufmann Publishers (1991)"},{"issue":"4","key":"30_CR14","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transactions on Computational Logic\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"30_CR15","unstructured":"Slota, M., Leite, J.: Robust equivalence models for semantic updates of answer-set programs. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) KR. AAAI Press (2012)"},{"key":"30_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-33353-8_29","volume-title":"Logics in Artificial Intelligence","author":"M. Slota","year":"2012","unstructured":"Slota, M., Leite, J.: A unifying perspective on knowledge updates. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 372\u2013384. Springer, Heidelberg (2012)"},{"key":"30_CR17","unstructured":"Zhang, Y., Foo, N.Y.: A unified framework for representing logic program updates. In: Veloso, M.M., Kambhampati, S. (eds.) AAAI, pp. 707\u2013713. AAAI Press\/The MIT Press (2005)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:07:40Z","timestamp":1558058860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}