PROMAS 2003

 PROMAS 2003 — programme
AAMAS 2003, Melbourne, Australia, 15 July 2003
Recovered from http://www.cs.uu.nl/ProMAS/2003/program.html (Internet Archive, capture 20040225210532)

ProMAS 2003 Programme

Session 1 : Tools & Techniques (8:15 - 9:30)

8:15 - 8:35

From the problem to the implementation: A method associated to a model to design multiagent systems

B. Mermet, G. Simon, M. Flouret

8:35 - 8:55

Developing agent interaction protocols using graphical and logical methodologies

S. Paurobally, J. Cunningham, N. Jennings

8:55 - 9:15

A tool for integrated design and implementation of conversations in multi-Agent systems

M. Dinkloh, J. Nimis

9:15 - 9:30

Session Discussion

Break

Session 2 : Formalisms & Frameworks (9:45 - 11:00)

9:45 - 10:05

On deliberation under incomplete information and the inadequacy of entailment and consistency-based formalizations

G. De Giacomo, Y. Lesperance, H. Levesque, S. Sardina

10:05 - 10:25

Norm consistency in practical reasoning

M. Kollingbaum, T. Norman

10:25 - 10-45

Team Oriented Programming and Teamwork Proxies: The Next Generation

P. Scerri, D. Pynadath, N. Schurr, A. Farinelli, S. Gandhe, M. Tambe

10:45 - 11:00

Session Discussion

Break

Session 3 : Languages (11:15 - 12:30)

11:15 - 11:35

Verifiable Multi-Agent Programs

R. Bordini, M. Fisher, W. Visser, M. Wooldridge

11:35 - 11:55

A programming language for cognitive agents: goal directed 3APL

M. Dastani, B. Riemsdijk, F. Dignum, J.J. Meyer

11:55 - 12:15

CLAIM : a computational language for autonomous, intelligent and mobile agents

A. Fallah-Seghrouchni, A. Suna

12:15 - 12:30

Session Discussion