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 |