author = {Marco Gavanelli and
               Fabrizio Riguzzi and
               Alberto Pettorossi},
  title = {Preface of the Special Issue on {CILC09}},
  journal = {Fundamenta Informaticae},
  volume = {105},
  number = {1-2},
  year = {2010},
  ee = {http://dx.doi.org/10.3233/FI-2010-355},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  http = {http://www.mimuw.edu.pl/~fundam/FI/previous/preface10512.pdf},
  doi = {10.3233/FI-2010-355}
  author = {Marco Gavanelli and Fabrizio Riguzzi and Michela Milano and Paolo Cagnoli},
  title = {{L}ogic-{B}ased {D}ecision {S}upport for {S}trategic {E}nvironmental {A}ssessment},
  year = {2010},
  editor = {M.~Hermenegildo and T.~Schaub},
  month = jul,
  journal = {Theory and Practice of Logic Programming, 26th Int'l.
Conference on Logic Programming (ICLP'10) Special Issue},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/GavRigMilCag-ICLP10.pdf},
  volume = {10},
  number = {4-6},
  publisher = {Cambridge University Press},
  copyright = {Cambridge University Press},
  abstract = {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.},
  keywords = {Strategic Environmental Assessment, Regional Planning, Constraint
Logic Programming, Probabilistic Logic Programming, Causality},
  doi = {10.1017/S1471068410000335},
  pages = {643--658},
  arxiv = {1007.3159}
  author = {Marco Alberti and Marco Gavanelli and Evelina Lamma},
  title = {Runtime Addition of Integrity Constraints in Abductive Logic Programs },
  booktitle = {Technical Communications of the 26th International Conference on Logic Programming},
  year = 2010,
  editor = {Manuel Hermenegildo and Torsten Schaub},
  volume = 7,
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  address = {Dagstuhl, Germany},
  month = {July},
  pages = {4-13},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  url = {http://drops.dagstuhl.de/opus/volltexte/2010/2616},
  doi = {10.4230/LIPIcs.ICLP.2010.4},
  isbn = {978-3-939897-17-0},
  issn = {1868-8969}
  author = {Marco Alberti and Marco Gavanelli and Evelina Lamma},
  title = {Runtime Addition of Integrity Constraints in {SCIFF}},
  booktitle = {Proceedings of the 25th Italian Conference on Computational Logic},
  year = {2010},
  editor = {Wolfgang Faber and Nicola Leone},
  volume = {598},
  series = {CEUR workshop proceedings},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-598/paper02.pdf}

This file was generated by bibtex2html 1.98.