2005.bib

@article{AlbGavLam05-TPLP-IJ,
  key = 001,
  author = {Marco Alberti And Marco Gavanelli And Evelina Lamma And  Paola Mello And Michela Milano},
  title = {A {CHR}-based implementation of known arc-consistency},
  journal = {Theory and Practice of Logic Programming},
  year = 2005,
  volume = 5,
  number = {4/5},
  pages = {419-440},
  month = jul,
  http = {http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=5&issueId=4-5},
  doi = {http://dx.doi.org/10.1017/S147106840500236X},
  abstract = {  In classical CLP(FD) systems, domains of variables are completely
  known at the beginning of the constraint propagation process.
  However, in systems interacting with an external environment, this
  assumption may lead to waste of computation time, or even to
  obsolescence of the acquired data at the time of use.

  For such cases, the Interactive Constraint Satisfaction Problem
  (ICSP) model has been proposed as an extension of the CSP model, to
  make it possible to start constraint propagation even when domains are
  not fully known, performing acquisition of domain elements only when
  necessary and without the need to restart propagation after every
  acquisition.

  In this paper, we present a two sorted CLP language to express and
  solve ICSPs, and its implementation in the Constraint Handling Rules
  (CHR) language, a declarative language particularly suitable for
  high level implementation of constraint solvers.},
  issn = {1471-0684},
  note = {IF: 1.372}
}
@inproceedings{AlbGavLam05-IJCAI-IC,
  author = {Marco Alberti and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni},
  title = {Abduction with hypotheses confirmation},
  booktitle = {IJCAI-05 Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence},
  year = {2005},
  editor = {Fausto Giunchiglia},
  pages = {1545--1546},
  publisher = {Professional Book Center},
  address = {USA},
  isbn = {0-938075-93-4},
  url = {http://www.ing.unife.it/docenti/MarcoGavanelli/publications/poster-ijcai05.ppt},
  pdf = {http://ijcai.org/papers/post-0385.pdf}
}
@article{AlbGavLam05-AIIA-IC,
  author = {Marco Alberti and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni},
  title = {The \textit{S}{CIFF} abductive proof-procedure},
  booktitle = {AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings},
  year = {2005},
  editor = {Stefania Bandini and Sara Manzoni},
  journal = {Lecture Notes in Artificial Intelligence},
  address = {Berlin},
  publisher = {Springer Verlag},
  pages = {135-147},
  volume = {3673},
  issn = {0302-9743},
  abstract = {We propose an operational framework which builds on the classical
understanding of abductive reasoning in logic programming, and
extends it in several directions. The new features include the
ability to reason with a dynamic knowledge base, where new facts
can be added anytime, the ability to generate expectations about
such new facts occurring in the future (forecasting), and the
process of confirmation/disconfirmation of such expectations.},
  note = {IF: 0.302}
}
@article{AlbCheGav05-GC-IW,
  author = {Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni},
  title = {The {SOCS} Computational Logic Approach to the Specification and Verification of Agent Societies},
  booktitle = {Global Computing: {IST/FET} International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers},
  year = {2005},
  issn = {0302-9743},
  month = feb,
  editor = {Corrado Priami and Paola Quaglia},
  journal = {Lecture Notes in Computer Science},
  doi = {10.1007/b103251},
  publisher = {Springer Verlag},
  address = {Berlin, Germany},
  abstract = {This article summarises part of the work done during the first
two years of the SOCS project, with respect to the task of
modelling interaction amongst CL-based agents. It describes the
SOCS social model: an agent interaction specification and
verification framework equipped with a declarative and
operational semantics, expressed in terms of abduction. The
operational counterpart of the proposed framework has been
implemented and integrated in SOCS-SI, a tool that can be used
for on-the-fly verification of agent compliance with respect to
specified protocols.},
  pages = {314 - 339},
  volume = 3267,
  note = {IF: 0.402}
}
@article{AlbCheGav05-IA-NJ,
  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},
  journal = {Intelligenza Artificiale},
  year = {2005},
  pages = {22--29},
  volume = {{II}},
  number = {1},
  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 {\em
trust}: in order for an agent system to be used, the users must
{\em 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.},
  issn = {1724-8035},
  url = {http://ia.di.uniba.it/}
}

This file was generated by bibtex2html 1.98.