author = {Marco Alberti and Federico Chesani and Marco Gavanelli and Alessio Guerri and Evelina Lamma and Paola Mello and Paolo Torroni },
  title = {Expressing Interaction in Combinatorial Auction through Social Integrity Constraints},
  booktitle = {Conferenza Italiana sui Sistemi Intelligenti},
  editor = {Alfredo Milani},
  publisher = {Morlacchi Editore},
  year = {2004},
  address = {Perugia (Italy)},
  month = {sep},
  isbn = {88-89422-09-2},
  organization = {AI*IA, SIREN, GIPR},
  url = {},
  pages = {80},
  pdf = {},
  abstract = {Combinatorial Auctions are an attractive application of
intelligent agents; their applications are countless and are shown
to provide good revenues. On the other hand, one of the issues
they raise is the computational complexity of the solving process
(the Winner Determination Problem, WDP), that delayed their
practical use. Recently, efficient solvers have been applied to
the WDP, so the framework starts to be viable.

A second issue, common to many other agent systems, is
trust: in order for an agent system to be used, the users must
trust both their representative and the other agents
inhabiting the society: malicious agents must be found, and their
violations discovered. The SOCS project addresses such issues,
and provided a language, the social integrity constraints,
for defining the allowed interaction moves, together with a proof
procedure able to detect violations.

In this paper we show how to write a protocol for the
combinatorial auctions by using social integrity constraints. In
the devised protocol, the auctioneer interacts with an external
solver for the winner determination problem.
  author = {Federico Chesani and
               Anna Ciampolini and
               Paola Mello and
               Marco Montali and
               Paolo Torroni and
               Marco Alberti and
               Sergio Storari},
  title = {Protocol Specification and Verification by Using Computational Logic.},
  editor = {Flavio Corradini and
               Flavio De Paoli and
               Emanuela Merelli and
               Andrea Omicini},
  booktitle = {WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint
               Workshop "From Objects to Agents": Simulation and Formal
               Analysis of Complex Systems, 14-16 November 2005, Camerino,
               MC, Italy},
  publisher = {Pitagora Editrice Bologna},
  year = {2005},
  isbn = {88-371-1590-3},
  pages = {184-192},
  ee = {},
  bibsource = {0DBLP,},
  abstract = {  The aim of this paper is to report on some preliminary results
  obtained in the context of the MASSIVE research project
  ( relating the formal
  specification and verification of protocols in some different
  application field. A protocol is a way to express the right behavior
  of entities involved in a (possibly complex and distributed)
  process. The formalism to be used for protocol description should be
  as intuitive as possible, but it should be also formally defined, in
  order to allow formal checks both on the features of the protocol
  itself (e.g. termination), and also on the execution of it. To this
  purpose, we will show some results obtained by exploiting the
  SOCS-SI logic-based framework for the specification and the
  verification of protocols in various applicative fields such as
  electronic commerce, medicine and e-learning. We will also present a
  new graphical notation to express medical guidelines, which could be
  automatically translated into the SOCS formalism.}
  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 = {},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  issn = {1613-0073},
  volume = {487},
  pages = {32-37},
  address = {Aachen, \Germany},
  keywords = {Business Process Management, Logic Programming}
  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,
  address = {Ferrara, Italy},
  organization = {GULP},
  pdf = {}
  author = {Marco Alberti and Pierangelo Dell'Acqua and Lu\'is Moniz Pereira},
  title = {Observation Strategies for Event Detection, with Incidence on Runtime Verification},
  booktitle = {RCRA-2010:
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion},
  year = 2010,
  editor = {Marco Gavanelli and Toni Mancini},
  volume = 616,
  series = {CEUR Workshop Proceedings},
  address = {Bologna, Italy},
  month = {June},
  issn = {1613-0073},
  url = {}
  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 = {}
  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 = {},
  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 = {},
  year = 2011,
  address = {Pescara, Italy},
  month = {September}

This file was generated by bibtex2html 1.98.