@inproceedings{BelLamRigAlb11-URSW11-IW,
author = {Elena Bellodi and Evelina Lamma and Fabrizio Riguzzi and Simone Albani },
editor = {Fernando Bobillo and
Rommel Carvalho and
da Costa, Paulo C. G. and
d'Amato, Claudia and
Nicola Fanizzi and
Laskey, Kathryn B. and
Laskey, Kenneth J. and
Thomas Lukasiewicz and
Trevor Martin and
Matthias Nickles and
Michael Pool},
title = {A Distribution Semantics for Probabilistic Ontologies},
booktitle = {Proceedings ot the 7th International Workshop on Uncertainty Reasoning for the Semantic Web, Bonn, Germany, 23 October, 2011 },
year = {2011},
url = {http://ml.unife.it/wp-content/uploads/Papers/BelLamRigAlb-URSW11.pdf},
series = {CEUR Workshop Proceedings},
publisher = {Sun {SITE} Central Europe},
issn = {1613-0073},
address = {Aachen, \Germany},
volume = {778},
pages = {75-86},
pdf = {http://ceur-ws.org/Vol-778/paper7.pdf},
abstract = {We present DISPONTE, a semantics for probabilistic ontologies that is based on the distribution semantics for probabilistic logic programs. In DISPONTE each axiom of a probabilistic ontology is annotated with a probability. The probabilistic theory defines thus a distribution over normal theories (called worlds) obtained by including an axiom in a world with a probability given by the annotation. The probability of a query is computed from this distribution with marginalization.
We also present the system BUNDLE for reasoning over probabilistic OWL DL ontologies according to the DISPONTE semantics. BUNDLE is based on Pellet and uses its capability of returning explanations for a query. The explanations are encoded in a Binary Decision Diagram from which the probability of the query is computed.}
}
@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.