| 9:00-9:20 |
Welcome & Introduction |
| |
Session A:
Software Engineering and MAS Prototyping |
| 9:20-9:45 |
An Agent-based Domain Specific Framework for Rapid
Prototyping of Applications in Evolutionary Biology
C. T. Son, E. Pontelli, D. Ranjan, B. Milligan,
and G. Gupta |
| 9:45-10:10 |
Go! for multi-threaded deliberative agents
K. L. Clark and F. G. McCabe |
| 10:10-10:35 |
Operational Semantics for Agents by Iterated Refinement
F. Bergenti, G. Rimassa, and M. Viroli |
| 10:35-11:00 |
A Logic-Based Infrastructure for Reconfiguring
Applications M. Castaldi, S. Costantini, S.
Gentile, and A. Tocchio |
| |
Session B: Panel Discussion |
| 11:00-11:50 |
The use of declarative programming for Agent-Oriented
Software Engineering
Moderators: A. Omicini and L. Sterling |
| 11:50-13:00 |
Lunch break |
| |
Session C: Social Aspects of
MAS |
| 13:00-13:25 |
Logic-Based Electronic Institutions
W. W. Vasconcelos |
| 13:25-13:50 |
Modelling interactions using Social Integrity
Constraints: a resource sharing case study M.
Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni |
| 13:50-14:15 |
Linear Logic, Partial Deduction and Cooperative Problem
Solving P. Küngas |
| 14:15-14:30 |
Break |
| |
Session D: Agent Reasoning, BDI
Logics and Extensions |
| 14:30-14:55 |
A Proposal for Reasoning in Agents: Restricted
Entailment L. Flax |
| 14:55-15:20 |
Extending the Operational Semantics of a BDI
Agent-Oriented Programming Language for Introducing Speech-Act Based
Communication Á. F. Moreira, R. Vieira, and R. H.
Bordini |
| 15:20-15:45 |
Coo-BDI: Extending the BDI Model with Cooperativity
D. Ancona and V. Mascardi |
| 15:45-16:10 |
A Combined Logic of Expectation and Observation (A
generalization of BDI logics) B. Trân, J. Harland,
and M. Hamilton |
| |
Session E: Panel Discussion |
| 16:10-17:00 |
Declarative and logic-based technology for agent
reasoning and interactions Moderators: R. Bordini
and W. van der Hoek |
