{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T04:28:43Z","timestamp":1716956923726},"reference-count":23,"publisher":"Cambridge University Press (CUP)","issue":"4-6","license":[{"start":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T00:00:00Z","timestamp":1278633600000},"content-version":"unspecified","delay-in-days":8,"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,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Strategic Environmental Assessment is a procedure aimed at introducing systematic assessment of the environmental effects of plans and programs. This procedure is based on the so-called coaxial matrices that define dependencies between plan activities (infrastructures, plants, resource extractions, buildings, etc.) and positive and negative environmental impacts, and dependencies between these impacts and environmental receptors. Up to now, this procedure is manually implemented by environmental experts for checking the environmental effects of a given plan or program, but it is never applied during the plan\/program construction. A decision support system, based on a clear logic semantics, would be an invaluable tool not only in assessing a single, already defined plan, but also during the planning process in order to produce an optimized, environmentally assessed plan and to study possible alternative scenarios. We propose two logic-based approaches to the problem, one based on Constraint Logic Programming and one on Probabilistic Logic Programming that could be, in the future, conveniently merged to exploit the advantages of both. We test the proposed approaches on a real energy plan and we discuss their limitations and advantages.<\/jats:p>","DOI":"10.1017\/s1471068410000335","type":"journal-article","created":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T12:44:40Z","timestamp":1278679480000},"page":"643-658","source":"Crossref","is-referenced-by-count":7,"title":["Logic\u2013based decision support for strategic environmental assessment"],"prefix":"10.1017","volume":"10","author":[{"given":"MARCO","family":"GAVANELLI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FABRIZIO","family":"RIGUZZI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MICHELA","family":"MILANO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PAOLO","family":"CAGNOLI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2010,7,9]]},"reference":[{"key":"S1471068410000335_ref23","first-page":"790","volume-title":"IEA\/AIE","author":"Zhou","year":"1996"},{"key":"S1471068410000335_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27775-0_14"},{"key":"S1471068410000335_ref21","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409003767"},{"key":"S1471068410000335_ref20","volume-title":"Procedures and Programs to Assist in the Impact Statement Process.","author":"Sorensen","year":"1973"},{"key":"S1471068410000335_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/11564751_46"},{"key":"S1471068410000335_ref17","first-page":"1330","volume-title":"International Joint Conference on Artificial Intelligence","author":"Sato","year":"1997"},{"key":"S1471068410000335_ref16","volume-title":"Conference on Uncertainty in Artificial Intelligence","author":"Santos Costa","year":"2003"},{"key":"S1471068410000335_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_54"},{"key":"S1471068410000335_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00027-1"},{"key":"S1471068410000335_ref10","volume-title":"Proceedings of the 19th International Conference on Inductive Logic Programming","author":"Meert","year":"2009"},{"key":"S1471068410000335_ref9","doi-asserted-by":"publisher","DOI":"10.1145\/129393.129398"},{"key":"S1471068410000335_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"S1471068410000335_ref3","first-page":"91","volume-title":"WLP","author":"De Koninck","year":"2006"},{"key":"S1471068410000335_ref11","volume-title":"Causality","author":"Pearl","year":"2000"},{"key":"S1471068410000335_ref6","first-page":"2","volume-title":"Intl. Conference on Principles and Practice of Constraint Programming","author":"Gomes","year":"2009"},{"key":"S1471068410000335_ref15","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp025"},{"key":"S1471068410000335_ref2","first-page":"152","volume-title":"Proceedings of the 2nd Russian Conference on Logic Programming","author":"Dantsin","year":"1991"},{"key":"S1471068410000335_ref18","first-page":"631","volume-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95","author":"Schiex","year":"1995"},{"key":"S1471068410000335_ref4","unstructured":"De Raedt L. , Kimmig A. , and Toivonen H. 2007. ProbLog: A probabilistic Prolog and its application in link discovery. In IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6\u201312, 2007, M. M. Veloso, Ed. 2462\u20132467."},{"key":"S1471068410000335_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74782-6_11"},{"key":"S1471068410000335_ref1","doi-asserted-by":"publisher","DOI":"10.1145\/256303.256306"},{"key":"S1471068410000335_ref5","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-4571(2000)51:2<95::AID-ASI2>3.0.CO;2-H"},{"key":"S1471068410000335_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68679-8_14"}],"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\/S1471068410000335","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:31:51Z","timestamp":1556479911000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068410000335\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":23,"journal-issue":{"issue":"4-6","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["S1471068410000335"],"URL":"https:\/\/doi.org\/10.1017\/s1471068410000335","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7]]}}}