author = {Marco Gavanelli and Fabrizio Riguzzi  and Michela Milano and Davide Sottara and Alessandro Cangini and Paolo Cagnoli},
  title = {An Application of Fuzzy Logic to Strategic Environmental Assessment},
  booktitle = {Proceedings of the 12th Congress of the Italian Association for Artificial Intelligence, Palermo,  15-17 September 2011 },
  year = {2011},
  editor = {Pirrone, Roberto and Sorbello, Filippo},
  publisher = {Springer},
  address = {Heidelberg, \Germany},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/GavRigMil-AIIA11.pdf},
  url = {http://www.springerlink.com/content/v811466564812126/},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {6934},
  abstract = {Strategic Environmental Assessment (SEA) is used to evaluate the environmental effects of regional plans and programs.
SEA expresses dependencies between  plan activities (infrastructures, plants, resource extractions, buildings, etc.) and environmental pressures, and between these and environmental receptors.
In this paper we employ fuzzy logic and many-valued logics together with numeric transformations for performing SEA. In particular, we discuss four  models that 
capture  alternative interpretations of the dependencies,  combining quantitative and qualitative  information.
We have tested the four models and presented the results to the expert for validation. 
The  interpretability of the results of the models was appreciated by the expert that liked in particular those models returning a possibility distribution in place of a crisp result.
  keywords = {Strategic Environmental Assessment, Regional Planning, Fuzzy Logic},
  copyright = {Springer},
  doi = {10.1007/978-3-642-23954-0_30},
  pages = {324-335},
  note = {The original publication is available at \url{http://www.springerlink.com}}
  author = {Marco Alberti and Marco Gavanelli and Evelina Lamma and Fabrizio Riguzzi and Sergio Storari},
  title = {Learning specifications of interaction protocols and business processes and proving their properties},
  journal = {Intelligenza artificiale},
  year = 2011,
  volume = 5,
  number = 1,
  pages = {71--75},
  month = feb,
  doi = {10.3233/IA-2011-0006},
  issn = {1724-8035},
  abstract = {In this paper, we overview our recent research
  activity concerning the induction of Logic Programming
  specifications, and the proof of their properties via Abductive
  Logic Programming. Both the inductive and abductive tools here
  briefly described have been applied to respectively learn and verify
  (properties of) interaction protocols in multi-agent systems, Web
  service choreographies, careflows and business processes.},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/AlbGavLam-IA08.pdf}
  author = {Marco Alberti and Massimiliano Cattafi and Federico Chesani and Marco Gavanelli and  Evelina  Lamma and Paola Mello and Marco Montali   and Paolo Torroni},
  title = {A Computational Logic Application Framework for Service Discovery and Contracting},
  journal = {International Journal of Web Services Research},
  year = 2011,
  volume = 8,
  number = 3,
  pages = {1--25},
  abstract = {In Semantic Web technologies, searching for a service means identifying components that can potentially satisfy user needs in terms of inputs and outputs (discovery) and devise a fruitful interaction with the customer (contracting). In this paper, the authors present an application framework that encompasses both the discovery and the contracting steps in a unified search process. In particular, the authors accommodate service discovery by ontology-based reasoning and contracting by reasoning about behavioural interfaces, published in a formal language. To this purpose, the authors consider a formal approach grounded on Computational Logic. They define, illustrate, and evaluate a framework, called SCIFF Reasoning Engine (SRE), which can establish if a Semantic Web Service and a requester can fruitfully inter-operate, by computing a possible interaction plan based on the behavioural interfaces of both. The same operational machinery used for contracting can be used for runtime verification.}
  author = {Marco Gavanelli and Marco Alberti and Evelina Lamma},
  title = {Integration of abductive reasoning and constraint optimization in {SCIFF}},
  booktitle = {Proceedings of the 26th Italian Conference on Computational Logic (CILC-2011)},
  editor = {Fabio Fioravanti},
  series = {CEUR Workshop Proceedings},
  number = {810},
  url = {http://ceur-ws.org/Vol-810/},
  year = 2011,
  address = {Pescara, Italy},
  month = {September}
  author = {Marco Alberti and Marco Gavanelli and Evelina Lamma},
  title = {The {CHR}-based Implementation of the SCIFF Abductive System},
  booktitle = {Proceedings of the 26th Italian Conference on Computational Logic (CILC-2011)},
  editor = {Fabio Fioravanti},
  series = {CEUR Workshop Proceedings},
  number = {810},
  url = {http://ceur-ws.org/Vol-810/},
  year = 2011,
  address = {Pescara, Italy},
  month = {September}

This file was generated by bibtex2html 1.98.