2009.bib

@inproceedings{AlbGavLam09-CEUR-NW,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari },
editor = {Matteo Baldoni and
Cristina Baroglio},
booktitle = {Il Milione (i.e. $2^6$, June  3rd 2008)
A Journey in the Computational Logic in Italy, Proceedings of the Day Dedicated to Prof. {Alberto Martelli}
Turin, Italy, June  3, 2008},
title = {Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties},
year = {2009},
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://ceur-ws.org/Vol-487/paper6.pdf},
series = {CEUR Workshop Proceedings},
publisher = {Sun {SITE} Central Europe},
issn = {1613-0073},
volume = {487},
pages = {32-37},
keywords = {Business Process Management, Logic Programming}
}

@incollection{TorCheMel09-OMAS-BC,
author = {Paolo Torroni and Federico Chesani and Paola Mello and Pinar Yolum and Munindar P. Singh and Marco Alberti and Marco Gavanelli and Evelina Lamma},
title = {Modeling Interactions via Commitments and Expectations},
year = {2009},
publisher = {Information Science Reference},
editor = {Virginia Dignum},
booktitle = {Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of
Organizational Models},
month = {March},
pages = {263--284},
url = {http://www.igi-global.com/reference/details.asp?ID=33141},
abstract = {Organizational models often rely on two assumptions: openness and heterogeneity. This is, for instance,
the case with organizations consisting of individuals whose behaviour is unpredictable, whose internal
structure is unknown, and who do not necessarily share common goals, desires, or intentions. This
fact has motivated the adoption of social-based approaches to modelling interaction in organizational
models. The idea of social semantics is to abstract away from the agent internals and provide a social
meaning to agent message exchanges. In this chapter, we present and discuss two declarative, social
models interaction in terms of commitments. The second one adopts a rule-oriented perspective, and
models interaction in terms of logical formulae expressing expectations about agent interaction. We use
a simple interaction protocol taken from the e-commerce domain to present the functioning and features
of the commitment- and expectation-based approaches, and to discuss various forms of reasoning and
verification that they accommodate, and how organizational modelling can benefit from them},
isbn = {  978-1-60566-256-5},
keywords = {Social commitments, Social expectations, Interaction protocols, Open agent societies, Semantics of interaction}
}

@inproceedings{AlbCatGav09-ICWS-IC,
author = {Marco Alberti and Massimiliano Cattafi and Marco Gavanelli and Evelina Lamma and
Federico Chesani and Marco Montali and Paola Mello and Paolo Torroni},
title = {Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture},
year = 2009,
editor = {Paul Hofmann},
booktitle = {ICWS 2009: 2009 IEEE International Conference on Web Services},
accept_rate = {15.6\%},
abstract = {In Semantic Web technologies, searching for a service means to identify
components that can potentially satisfy the user
needs in terms of outputs and effects (discovery), and that, when invoked
by the customer, can fruitfully interact with her (contracting).
In this paper, we present an application framework that encompasses both the
discovery and the contracting steps, in a unified search process.
In particular, we accommodate service discovery by
ontology-based reasoning, and contracting by reasoning about policies published in a formal
language. To this purpose, we consider a formal approach grounded on Computational Logic,
and Abductive Logic Programming in particular. We propose a framework,
called SCIFF Reasoning Engine,
able to establish, by ontological and abductive reasoning,  if a semantic web service  and a requester can
fruitfully inter-operate, taking as input the behavioural interfaces
of both the participants, and producing as output a
sort of a contract.},
url = {http://conferences.computer.org/icws/2009/},
publisher = {IEEE Computer Society Press},
pages = {254--261},
doi = {10.1109/ICWS.2009.78},
organization = {IEEE Computer Society},
isbn = {978-0-7695-3709-2}
}

@inproceedings{GavAlbLam09-ICLP-IC,
author = {Marco Gavanelli and Marco Alberti and  Evelina Lamma},
title = {Integration of abductive reasoning and constraint optimization in {SCIFF}},
year = 2009,
editor = {Patricia M. Hill and David S. Warren},
series = {Lecture Notes in Computer Science},
volume = 5649,
pages = {387--401},
booktitle = {25th International Conference on Logic Programming (ICLP 2009)},
abstract = {Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share
the feature to constrain the set of possible solutions to a program via integrity or CLP constraints.
These two frameworks have been merged in works by various authors, which developed efficient abductive proof-procedures empowered with constraint satisfaction techniques.
However, while almost all CLP languages provide algorithms for finding an optimal solution with respect to some objective function (and not just {\em any} solution), the issue has received little attention in ALP.

In this paper we show how optimisation meta-predicates can be included in  abductive proof-pro\-ce\-dures, achieving in this way a significant improvement to research and practical applications of abductive reasoning.

In the paper, we give the declarative and operational semantics of an abductive proof-procedure that encloses constraint optimization meta-predicates, and we prove soundness in the three-valued completion semantics.
In the proof-procedure, the abductive logic program can invoke optimisation meta-predicates, which can invoke abductive predicates, in a recursive way.},
keywords = {Abductive Logic Programming, Constraint Logic Programming, Constraint Optimization, Constraint Handling Rules},
url = {http://www.ist.unomaha.edu/iclp2009/},
publisher = {Springer-Verlag},
issn = {0302-9743},
isbn = {978-3-642-02845-8}
}

@inproceedings{AlbCatGav09-CILC-NW,
author = {Marco Alberti and Massimiliano Cattafi and Marco Gavanelli and Evelina Lamma},
title = {Exploiting Semantic Technology in Computational Logic-based Service Contracting},
abstract = {Dynamic composition of web services requires an automated step of
contracting, i.e., the computation of a possibly fruitful
interaction between two (or more) services, based on their policies
and goals. In previous work, the SCIFF abductive logic language
was used to represent the services' policies, and the associated
proof procedure to perform the contracting.

In this paper, we build on that work in order to exploit the results
of the Description Logics research area to represent domain specific
knowledge, either by importing the knowledge encoded in an ontology
into a SCIFF knowledge base, or by interfacing the SCIFF proof
procedure to an existing ontological reasoner.},
booktitle = {CILC09: 24-esimo Convegno Italiano di Logica Computazionale},
editor = {Marco Gavanelli and Fabrizio Riguzzi},
year = {2009},
month = jun,