@inproceedings{AlbCheGav04-AEV-NW,
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 = {http://www.dipmat.unipg.it/si04/},
pages = {80},
pdf = {http://www.ing.unife.it/docenti/MarcoGavanelli/papers/aev.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.
}
}
@inproceedings{CheCiaMel05-WOA-NW,
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 = {http://lia.deis.unibo.it/books/woa2005/papers/26.pdf},
bibsource = {0DBLP, http://dblp.uni-trier.de},
abstract = { The aim of this paper is to report on some preliminary results
obtained in the context of the MASSIVE research project
(http://www.di.unito.it/massive/) 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.}
}
@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},
address = {Aachen, \Germany},
keywords = {Business Process Management, Logic Programming}
}
@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,
address = {Ferrara, Italy},
organization = {GULP},
pdf = {http://www.ing.unife.it/eventi/cilc09/papers/cilc09_submission_15.pdf}
}
@inproceedings{AlbDalPer10-RCRA-NW,
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 = {ceur-ws.org/Vol-616/paper03.pdf}
}
@inproceedings{AlbGavLam10-CILC-NW,
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 = {http://ceur-ws.org/Vol-598/paper02.pdf}
}
@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.