{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T02:13:50Z","timestamp":1712369630386},"reference-count":33,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2010,2,18]],"date-time":"2010-02-18T00:00:00Z","timestamp":1266451200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2010,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Action description languages, such as<jats:private-char><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S1471068410000013_char1\" \/><\/jats:private-char>and \u212c (Gelfond and Lifschitz,<jats:italic>Electronic Transactions on Artificial Intelligence<\/jats:italic>, 1998, vol. 2, pp. 193\u2014210), are expressive instruments introduced for formalizing planning domains and planning problem instances. The paper starts by proposing a methodology to encode an action language (with conditional effects and static causal laws), a slight variation of \u212c, using<jats:italic>Constraint Logic Programming over Finite Domains<\/jats:italic>. The approach is then generalized to raise the use of constraints to the level of the action language itself. A prototype implementation has been developed, and the preliminary results are presented and discussed.<\/jats:p>","DOI":"10.1017\/s1471068410000013","type":"journal-article","created":{"date-parts":[[2010,2,18]],"date-time":"2010-02-18T10:04:36Z","timestamp":1266487476000},"page":"167-235","source":"Crossref","is-referenced-by-count":7,"title":["Multivalued action languages with constraints in CLP(FD)"],"prefix":"10.1017","volume":"10","author":[{"given":"AGOSTINO","family":"DOVIER","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANDREA","family":"FORMISANO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ENRICO","family":"PONTELLI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2010,2,18]]},"reference":[{"key":"S1471068410000013_ref31","volume-title":"AAAI Workshop on Cognitive Robotics","author":"Thielscher","year":"2002"},{"key":"S1471068410000013_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45619-8_6"},{"key":"S1471068410000013_ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00033-8"},{"key":"S1471068410000013_ref28","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1017\/S1471068406002948","article-title":"Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming","volume":"7","author":"Son","year":"2007","journal-title":"Theory and Practice of Logic Programming"},{"key":"S1471068410000013_ref27","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/3-540-45402-0_17","volume-title":"Logic Programming and Non-monotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17\u201319, 2001, Proceedings","author":"Son","year":"2001"},{"key":"S1471068410000013_ref23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints","author":"Marriott","year":"1998"},{"key":"S1471068410000013_ref19","first-page":"159","article-title":"Foundations for the situation calculus","volume":"2","author":"Levesque","year":"1998","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"S1471068410000013_ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"S1471068410000013_ref17","first-page":"1079","volume-title":"IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9\u201315, 2003","author":"Lee","year":"2003"},{"key":"S1471068410000013_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"S1471068410000013_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"S1471068410000013_ref10","first-page":"519","volume-title":"Proc. of the Eighteenth National Conference on Artificial Intelligence","author":"Gabaldon","year":"2002"},{"key":"S1471068410000013_ref14","first-page":"61","volume-title":"AAAI-04","author":"Giunchiglia","year":"2004"},{"key":"S1471068410000013_ref9","doi-asserted-by":"publisher","DOI":"10.1145\/976706.976708"},{"key":"S1471068410000013_ref7","doi-asserted-by":"publisher","DOI":"10.1080\/09528130701538174"},{"key":"S1471068410000013_ref6","first-page":"1622","volume-title":"Proc. of the Twenty-Second AAAI Conference on Artificial Intelligence","author":"Dovier","year":"2007"},{"key":"S1471068410000013_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068401001363"},{"key":"S1471068410000013_ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.08.004"},{"key":"S1471068410000013_ref3","first-page":"291","volume-title":"Principles and Practice of Knowledge Representation and Reasoning","author":"Baral","year":"2002"},{"key":"S1471068410000013_ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320"},{"key":"S1471068410000013_ref22","first-page":"954","volume-title":"IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9\u201315, 2003","author":"Lopez","year":"2003"},{"key":"S1471068410000013_ref12","first-page":"193","article-title":"Action languages","volume":"2","author":"Gelfond","year":"1998","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"S1471068410000013_ref15","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1613\/jair.1492","article-title":"Ordered landmarks in planning","volume":"22","author":"Hoffmann","year":"2004","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S1471068410000013_ref5","first-page":"67","volume-title":"Proc. of ICLP 2008","author":"Dovier","year":"2005"},{"key":"S1471068410000013_ref26","unstructured":"Simons P. 2000. Extending and Implementing the Stable Model Semantics. Ph.D. thesis, Helsinki University of Technology."},{"key":"S1471068410000013_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.04.004"},{"key":"S1471068410000013_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"S1471068410000013_ref25","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems","author":"Reiter","year":"2001"},{"key":"S1471068410000013_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"S1471068410000013_ref24","unstructured":"McCarthy J. 1998. Elephant 2000 \u2013 A programming language based on speech acts February 1st 2010. [Online] URL: www.formal.stanford.edu\/jmc"},{"key":"S1471068410000013_ref8","first-page":"423","volume-title":"Logic Programming and Non-monotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14\u201318, 2009, Proceedings","author":"Dovier","year":"2009"},{"key":"S1471068410000013_ref32","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/978-3-540-72200-7_28","volume-title":"Logic Programming and Non-monotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings","author":"Tu","year":"2007"},{"key":"S1471068410000013_ref20","first-page":"23","volume-title":"Proc. of the 16th Intl. Conference on Logic Programming","author":"Lifschitz","year":"1999"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068410000013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,27]],"date-time":"2020-05-27T22:15:16Z","timestamp":1590617716000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068410000013\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,18]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["S1471068410000013"],"URL":"https:\/\/doi.org\/10.1017\/s1471068410000013","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,18]]}}}