|
Workshop
Agenti e
Vincoli:
Modelli e
Tecnologie per Dominare la Complessità
Perugia, Venerdì 17 Settembre
2004
09:10-09:20 Apertura
del
workshop
Sessione I: Engineering Agents and MAS with Constraints
Chair: Andrea Omicini
09:20-09:40 Constraint Satisfaction Techniques and Software Agents
Monique Calisti, Nicoleta Neagu
09:40-10:00 QPL: A Language for Agent-Oriented Constraint Programming
Federico Bergenti
10:00-10:20 Engineering Constrained Agent Interactions with REFCON
Antonella Di Stefano,
Giuseppe Pappalardo, Corrado Santoro, Emiliano Tramontana
10:20-10:40 Supporting Formal and Informal specification in Agent
Oriented software
development
Anna Perini, Angelo Susi
10:40-11:00 A Constraint-based Approach for Modeling Secure Multi-Agent
Systems
Paolo Giorgini, Haralambos
Mouratidis
Sessione II: Constraints for Agent Societies Environment
Chair: Marco Cadoli
11:30-11:50
Towards a Mapping
of Deontic Logic Onto an Abductive Framework
Marco Alberti, Marco
Gavanelli, Evelina Lamma, Paola Mello, Giovanni Sartor, Paolo Torroni
11:50-12:10 Expressing Interaction in Combinatorial Auction through
Social Integrity
Constraints
Marco Alberti, Federico Chesani, Marco Gavanelli,
Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni
12:10-12:30 Communication and Trust in the DALI Logic Programming
Agent-Oriented
Language
Stefania Costantini, Arianna Tocchio, Alessia
Verticchio
12:30-12:50 Resource Matchmatching Based on Negotiable and Strict
Constraints in the Semantic Web
S. Colucci, T. Di Noia, E. Di Sciascio, F.M. Donini,
M. Mongiello, G. Piscitelli)
12:50-13:00
wrap-up
Sessione III: Application of Agents & Constraints
Chair: Michela Milano
15:00-15:20
Aggregating Preferences Cannot Be Fair
Francesca Rossi, K. Brent
Venable, Toby Walsh
15:20-15:40 A MultiAgent Architecture for Distributed Course Timetabling
Luca Di Gaspero, Stefano Mizzaro, Andrea Schaerf
15:40-16:00 A Multi Agent System Approach for Emergency Intervention:
Experimental Analysis and Evaluation
Alessandro Farinelli, Luca Iocchi, Daniele
Nardi,Fabio Patrizi
16:00-16:20
Protein Folding Simulation in CCP
Luca Bortolussi, Alessandro Dal Pal, Agostino Dovier,
Federico Fogolari
16:20-16:30
wrap-up
17:00-18:00
Discussione finale
18:00-18:30
Riunione del Gruppo di Lavoro su Sistemi ad Agenti e MultiAgente e del
Gruppo di Lavoro su Rappresentazione della conoscenza e ragionamento
automatico
|
