Workshop Program

Session 1 (9:00-10:30) Agents: Arguments and Updates

9:00 Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents
M. Schroeder and R. Schweimeier
9:30 A Language for Multi-dimensional Updates
J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska and T. C. Przymusinski
10:00 Argumentative Agent Deliberation, Roles and Context
A. C. Kakas and P. Moraitis

 

10:30 Refreshments

 

Session 2 (11:00-12:30) - Logics for Agents

11:00 Translating Multi-Agent Autoepistemic Logic into Logic Program
K.Toyama, T.Kojima and Y.Inagaki
11:30 A Logic Based Asynchronous Multi-Agent System
P. Dell'Acqua, U. Nilsson and L. M. Pereira
12:00 Language Design Issues for Agents based on Linear Logic (Extended Abstract)
J. Harland and M. Winikoff

 

12:30 Lunch

 

Session 3 (14:00-15:30) - BDI Agent Systems

14:00 Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language
R. H. Bordini and Á. F. Moreira
14:30 A Verification Method for a Commitment Strategy of the BDI Architecture
T. Araragi, S. Takata and N. Nide
15:00 Deduction Systems for BDI Logics with Mental State Consistency
N. Nide, S. Takata and Tadashi Araragi

 

15:30 Refreshments

 

Session 4 (16:00-17:30) - Agents: Speculative Computation and Introspection

16:00 Speculative Computation and Action Execution in Multi-Agent Systems
H. Hayashi, K. Cho and A. Ohsuga
16:30 Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments
K. Iwanuma and K. Inoue
17:00 Maximal Introspection of Agents
T. Bolander

Panel Discussion (17:30-18:30)

17:30 Logics and Multi-agents: towards a new symbolic model of cognition
Moderator: P. Torroni