{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:32:21Z","timestamp":1725582741746},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208317"},{"type":"electronic","value":"9783642208324"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20832-4_17","type":"book-chapter","created":{"date-parts":[[2011,4,27]],"date-time":"2011-04-27T22:59:49Z","timestamp":1303945189000},"page":"259-279","source":"Crossref","is-referenced-by-count":5,"title":["Perspectives on Logic-Based Approaches for Reasoning about Actions and Change"],"prefix":"10.1007","author":[{"given":"Agostino","family":"Dovier","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","first-page":"291","volume-title":"KR 2002: Principles of Knowledge Representation and Reasoning","author":"C. Baral","year":"2002","unstructured":"Baral, C., Son, T., Tuan, L.-C.: A transition function based characterization of actions with delayed and continuous effects. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M.-A. (eds.) KR 2002: Principles of Knowledge Representation and Reasoning, pp. 291\u2013302. Morgan Kaufmann, San Francisco (2002)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A. Blum","year":"1997","unstructured":"Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence\u00a090, 281\u2013300 (1997)","journal-title":"Artificial Intelligence"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/11562931_8","volume-title":"Logic Programming","author":"A. Dovier","year":"2005","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: A comparison of CLP(FD) and ASP solutions to NP-complete problems. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 67\u201382. Springer, Heidelberg (2005)"},{"key":"17_CR4","first-page":"1622","volume-title":"AAAI 2007: Proceedings of the 22nd AAAI Conference on Artificial Intelligence","author":"A. Dovier","year":"2007","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: An experimental comparison of constraint logic programming and answer set programming. In: Howe, A., Holt, R. (eds.) AAAI 2007: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pp. 1622\u20131625. AAAI Press, Menlo Park (2007)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-540-74610-2_18","volume-title":"Logic Programming","author":"A. Dovier","year":"2007","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Multivalued action languages with constraints in CLP(FD). In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 255\u2013270. Springer, Heidelberg (2007)"},{"issue":"2","key":"17_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1080\/09528130701538174","volume":"21","author":"A. Dovier","year":"2009","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: An empirical study of CLP and ASP solutions of combinatorial problems. Journal of Experimental & Theoretical Artificial Intelligence\u00a021(2), 79\u2013121 (2009)","journal-title":"Journal of Experimental & Theoretical Artificial Intelligence"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-642-04238-6_37","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A. Dovier","year":"2009","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Representing multi-agent planning in CLP. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 423\u2013429. Springer, Heidelberg (2009)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: An investigation of Multi-Agent Planning in CLP. Fundamenta Informaticae (2010) (to appear)","DOI":"10.1007\/978-3-642-04238-6_37"},{"key":"17_CR9","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Autonomous agents coordination: Action description languages meet CLP(FD) and Linda. In: Proceedings of the 25th Italian Conference on Computational Logic. Workshop Proceedings, vol.\u00a0598, CEUR (2010)"},{"issue":"2","key":"17_CR10","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1017\/S1471068410000013","volume":"10","author":"A. Dovier","year":"2010","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Multivalued action languages with constraints in CLP(FD). Theory and Practice of Logic Programming\u00a010(2), 167\u2013235 (2010)","journal-title":"Theory and Practice of Logic Programming"},{"key":"17_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-72200-7_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J.S. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 260\u2013265. Springer, Heidelberg (2007)"},{"key":"17_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-72200-7_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Schaub, T., Thiele, S.: GrinGo: A new grounder for answer set programming. In: Baral, C., Brewka, G., Schlipf, J.S. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 266\u2013271. Springer, Heidelberg (2007)"},{"issue":"4-6","key":"17_CR13","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1017\/S1471068410000359","volume":"10","author":"G. Gelfond","year":"2010","unstructured":"Gelfond, G., Baral, C., Pontelli, E., Tran, S.: Logic programmin for finding models in the logics of knowledge and its applications. Theory and Practice of Logic Programming\u00a010(4-6), 675\u2013690 (2010)","journal-title":"Theory and Practice of Logic Programming"},{"key":"17_CR14","first-page":"559","volume-title":"Joint International Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1992","unstructured":"Gelfond, M., Lifschitz, V.: Representing actions in extended logic programming. In: Joint International Conference and Symposium on Logic Programming, pp. 559\u2013573. The MIT Press, Cambridge (1992)"},{"key":"17_CR15","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence\u00a02, 193\u2013210 (1998)","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. Journal of Logic Programming\u00a019\/20, 503\u2013581 (1994)","journal-title":"Journal of Logic Programming"},{"key":"17_CR17","first-page":"1079","volume-title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003","author":"J. Lee","year":"2003","unstructured":"Lee, J., Lifschitz, V.: Describing additive fluents in action language C+. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003, Acapulco, Mexico, August 9-15, pp. 1079\u20131084. Morgan Kaufmann, San Francisco (2003)"},{"issue":"1-3","key":"17_CR18","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"Levesque, H., Pirri, F., Reiter, R.: GOLOG: a logic programming language for dynamic domains. Journal of Logic Programming\u00a031(1-3), 59\u201383 (1997)","journal-title":"Journal of Logic Programming"},{"key":"17_CR19","first-page":"23","volume-title":"Proc. of the 16th Intl. Conference on Logic Programming","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Answer set planning. In: de Schreye, D. (ed.) Proc. of the 16th Intl. Conference on Logic Programming, pp. 23\u201337. MIT Press, Cambridge (1999)"},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: A 25-Year Perspective","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K., Marek, V., Truszczy\u0144ski, M., Warren, D. (eds.) The Logic Programming Paradigm: A 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"17_CR21","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press, Edinburgh (1969)"},{"issue":"3-4","key":"17_CR22","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence\u00a025(3-4), 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17_CR23","series-title":"Lecture Notes in Artificial Intelligence","first-page":"226","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Son","year":"2001","unstructured":"Son, T., Baral, C., McIlraith, S.A.: Planning with different forms of domain-dependent control knowledge - an answer set programming approach. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 226\u2013239. Springer, Heidelberg (2001)"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-02846-5_13","volume-title":"Logic Programming","author":"T. Son","year":"2009","unstructured":"Son, T., Pontelli, E., Sakama, C.: Logic programming for multiagent planning with negotiation. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 99\u2013114. Springer, Heidelberg (2009)"},{"key":"17_CR25","first-page":"233","volume-title":"ICLP 1995: Proceedings of the Twelfth International Conference on Logic Programming","author":"V.S. Subrahmanian","year":"1995","unstructured":"Subrahmanian, V.S., Zaniolo, C.: Relating stable models and ai planning domains. In: Sterling, L. (ed.) ICLP 1995: Proceedings of the Twelfth International Conference on Logic Programming, pp. 233\u2013247. The MIT Press, Cambridge (1995)"},{"key":"17_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-45619-8_6","volume-title":"Logic Programming","author":"M. Thielscher","year":"2002","unstructured":"Thielscher, M.: Reasoning about actions with cHRs and finite domain constraints. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 70\u201384. Springer, Heidelberg (2002)"},{"issue":"5","key":"17_CR27","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1017\/S1471068406002717","volume":"6","author":"S. Tran","year":"2006","unstructured":"Tran, S., Pontelli, E.: Planning with preferences using logic programming. Theory and Practice of Logic Programming\u00a06(5), 559\u2013607 (2006)","journal-title":"Theory and Practice of Logic Programming"},{"key":"17_CR28","unstructured":"Warren, D.: WARPLAN: A system for generating plans. Technical Report DCL Memo 76, University of Edinburgh (1974)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20832-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T01:17:28Z","timestamp":1558574248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20832-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208317","9783642208324"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20832-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}