{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:29:27Z","timestamp":1725542967892},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642113543"},{"type":"electronic","value":"9783642113550"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11355-0_1","type":"book-chapter","created":{"date-parts":[[2010,1,9]],"date-time":"2010-01-09T10:16:18Z","timestamp":1263032178000},"page":"1-19","source":"Crossref","is-referenced-by-count":1,"title":["Playing with Rules"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Leite","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/11533092_4","volume-title":"Computational Logic in Multi-Agent Systems","author":"J.J. Alferes","year":"2005","unstructured":"Alferes, J.J., Banti, F., Brogi, A.: From logic programs updates to action description updates. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 52\u201377. Springer, Heidelberg (2005)"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s11225-005-0492-y","volume":"79","author":"J.J. Alferes","year":"2005","unstructured":"Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica\u00a079(1), 7\u201332 (2005)","journal-title":"Studia Logica"},{"key":"1_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"1_CR4","first-page":"238","volume-title":"IAT","author":"J.J. Alferes","year":"2008","unstructured":"Alferes, J.J., Gabaldon, A., Leite, J.: Evolving logic programming based agents with temporal operators. In: IAT, pp. 238\u2013244. IEEE, Los Alamitos (2008)"},{"issue":"1-3","key":"1_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming\u00a045(1-3), 43\u201370 (2000)","journal-title":"Journal of Logic Programming"},{"key":"1_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/978-3-540-30498-2_40","volume-title":"Advances in Artificial Intelligence \u2013 IBERAMIA 2004","author":"F. Banti","year":"2004","unstructured":"Banti, F., Alferes, J.J., Brogi, A.: Well founded semantics for logic program updates. In: Lema\u00eetre, C., Reyes, C.A., Gonz\u00e1lez, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol.\u00a03315, pp. 397\u2013407. Springer, Heidelberg (2004)"},{"key":"1_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning, and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR8","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015. Springer, Heidelberg (2005)"},{"volume-title":"Multi-Agent Programming: Languages, Tools and Applications","year":"2009","key":"1_CR9","unstructured":"Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, Heidelberg (2009)"},{"key":"1_CR10","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"Brewka, G.: Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge (1991)"},{"issue":"4","key":"1_CR11","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10817-007-9082-1","volume":"39","author":"D.R. Brooks","year":"2007","unstructured":"Brooks, D.R., Erdem, E., Erdogan, S.T., Minett, J.W., Ringe, D.: Inferring phylogenetic trees using answer set programming. J. Autom. Reasoning\u00a039(4), 471\u2013511 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming","year":"2008","unstructured":"Garcia de la Banda, M., Pontelli, E. (eds.): ICLP 2008. LNCS, vol.\u00a05366. Springer, Heidelberg (2008)"},{"key":"1_CR13","first-page":"649","volume-title":"IJCAI","author":"T. Eiter","year":"2001","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: Nebel, B. (ed.) IJCAI, pp. 649\u2013654. Morgan Kaufmann, San Francisco (2001)"},{"issue":"3","key":"1_CR14","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Trans. Database Syst.\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM Trans. Database Syst."},{"key":"1_CR15","first-page":"579","volume-title":"Proceedings of the 7th international conference on logic programming","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, D., Szeredi, P. (eds.) Proceedings of the 7th international conference on logic programming, pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Hindriks, K.V.: Programming rational agents in goal. In: Bordini, et al. (eds.) [9], ch.\u00a03","DOI":"10.1007\/978-0-387-89299-3_4"},{"key":"1_CR17","unstructured":"Leite, J., Alferes, J.J., Mito, B.: Resource allocation with answer-set programming. In: Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.) AAMAS (1), IFAAMAS, pp. 649\u2013656 (2009)"},{"key":"1_CR18","unstructured":"Leite, J., Soares, L.: Evolving characters in role playing games. In: Trappl, R. (ed.) Cybernetics and Systems, Proceedings of the 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), vol.\u00a02, pp. 515\u2013520. Austrian Society for Cybernetic Studies (2006)"},{"key":"1_CR19","volume-title":"Evolving Knowledge Bases","author":"J.A. Leite","year":"2003","unstructured":"Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)"},{"key":"1_CR20","first-page":"915","volume-title":"SIGMOD Conference","author":"N. Leone","year":"2005","unstructured":"Leone, N., Greco, G., Ianni, G., Lio, V., Terracina, G., Eiter, T., Faber, W., Fink, M., Gottlob, G., Rosati, R., Lembo, D., Lenzerini, M., Ruzzi, M., Kalka, E., Nowicki, B., Staniszkis, W.: The infomix system for advanced integration of incomplete and inconsistent data. In: \u00d6zcan, F. (ed.) SIGMOD Conference, pp. 915\u2013917. ACM, New York (2005)"},{"issue":"1-2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence\u00a0138(1-2), 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"key":"1_CR22","first-page":"603","volume-title":"Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR 1992)","author":"V. Lifschitz","year":"1992","unstructured":"Lifschitz, V., Woo, T.Y.C.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), pp. 603\u2013614. Morgan Kaufmann, San Francisco (1992)"},{"key":"1_CR23","unstructured":"Makinson, D.: Bridges from Classical to Nonmonotonic Logic. College Publications (2005)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical Aspects of Declarative Languages","author":"M. Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An a-prolog decision support system for the space shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 169\u2013183. Springer, Heidelberg (2001)"},{"key":"1_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-88833-8_16","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Slota","year":"2008","unstructured":"Slota, M., Leite, J.: Evolp: An implementation. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol.\u00a05056, pp. 288\u2013298. Springer, Heidelberg (2008)"},{"key":"1_CR26","unstructured":"Tiihonen, J., Soininen, T., Niemel\u00e4, I., Sulonen, R.: A practical tool for mass-customising configurable products. In: Proceedings of the 14th International Conference on Engineering Design, pp. 1290\u20131299 (2003)"},{"issue":"3","key":"1_CR27","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11355-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T14:07:05Z","timestamp":1552313225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11355-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642113543","9783642113550"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11355-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}