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 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. We also suggest some solutions for a further, challenging issue: defining a protocol that contains the concept of optimal allocation and checking efficiently that the allocation proposed by the auctioneer is indeed optimal. 1

multi-agent system∗

Come recita il titolo, questo volume rappresenta un viaggio tra i gruppi di ricerca italiani che condividono l’interesse verso metodi e tecniche che derivano dalla logica computazionale. Il volume raccoglie 15 lavori che brevemente descrivono sia le esperienze recenti di tali gruppi sia le linee di sviluppo considerate più promettenti. L’occasione di questa raccolta è il compleanno di Alberto Martelli, ben conosciuto dalla comunità per i suoi studi sugli algoritmi per la ricerca euristica e per l’unificazione di termini nella logica del prim’ordine, per le proposte di estensione dei linguaggi logici con construtti di strutturazione come blocchi e moduli, per i lavori sulle tecniche di ragionamento non-monotono, il ragionamento su azioni e cambiamento e, più recentemente, per i lavori sulla specifica e la verifica di proprietà di sistemi di agenti e servizi che interoperano. Ad Alberto Martelli, tutti gli autori e i curatori degli articoli di questa raccolta dedicano il contributo di questo volume. Il compito di curare questa raccolta non è stato arduo, per via dell’entusiasmo e l’immediata partecipazione dimostrati

Abstract. In this paper we consider the ontology behind Object Oriented programming languages. We show that two conceptual primitives are missing: relations and roles. We simulate relations in a programming language by means of objects. To introduce roles we provide an ontological definition of roles and use it to extend the Java language. Sommario. In questo articolo esaminiamo l’ontologia sottostante i linguaggi di programmazione orientati agli oggetti. Mostriamo che due primitive concettuali mancano all’appello: le relazioni e i ruoli. Introduciamo le relazioni simulandole per mezzo di oggetti. Per introdurre i ruoli partiamo da una definizione ontologica di ruolo e la utilizziamo per estendere il linguaggio Java.

ABSTRACT Image analysis tools are spreading in dermatology since the introduction of dermoscopy (epiluminescence microscopy), in the effort of algorithmically reproducing clinical evaluations. Color-based region segmentation of skin lesions is one of the key steps for correctly collecting statistics that can help clinicians in their diagnosis. Nevertheless, an efficient and accurate region segmentation algorithm has not been proposed in the literature yet. This work proposes an iterative fuzzy c-means clustering algorithm based on PCA with the KarhunenLoève transform of the color space. A topological tree is provided to store the mutual inclusions of the regions and then used to summarize the structural properties of the skin lesion. Preliminary experimental results are presented and discussed.

Non-linear associations between laryngo-pharyngeal symptoms of gastro-oesophageal reflux disease: clues from artificial intelligence analysis Associazioni non lineari tra sintomi laringo-faringei della MRGE: indizi dalle analisi basate sull’intelligenza artificiale

The main purpose of MAIA, acronym for "Modello Avanzato di Intelligenza Artificiale" (Advanced Model of Artificial Intelligence), is to provide a common experimental platform for several research fields of Artificial Intelligence, such as Computer Vision, Automatic Speech Recognition

Il workshop “WOA dagli Oggetti agli Agenti ” rappresenta da ormai otto anni una consueta occasione di scambio di idee per tutti i ricercatori che operano nell’ambito dei sistemi ad agenti. La tecnologia ad agenti sta assumendo un ruolo centrale non solo nel settore dell’intelligenza artificiale, ma

, Italy. # International Computer Science Institute, Berkeley, CA 94704, and Progetto di Intelligenza Artificiale e R...

concetti sono stati introdotti nell'area dell'Intelligenza Artificiale, pi`u precisamente nell'ambito delle Logiche Descrittive, e sono stati studiati e formalizzati in OCDL (Object Constraint Description Logics), un linguaggio che permette di esprimere descrizioni di classi, vincoli d