@inproceedings{GavRigMil11-AIIA11-IC,
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}}
}
@article{AlbGavLam11-IA-IJ,
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}
}
@article{AlbCatChe11-IJWSR-IJ,
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.}
}
@inproceedings{GavAlbLam11-CILC-NW,
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}
}
@inproceedings{AlbGavLam11-CILC-NW,
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.