ATAL-2000 received 71 submissions, of which 22 were selected for
presentation and publication in the proceedings. The workshop has two special
themes this year:
8:50 - 9:00 Welcome (Cristiano Castelfranchi and Yves Lespérance)
Session 1: Invited Talk 9:00 - 10:00
Structured Online and Offline Solution of Decision-Theoretic Planning Problems by Craig Boutilier
10:00 - 10:30 Coffee break
Session 2: Agent Theories I 10:30 - 12:00
Optimistic and Disjunctive Agent Design Problems by Michael Wooldridge and Paul E. Dunne
Updating Mental States from Communication by A.F. Dragoni, P. Giorgini, and L. Serafini
Sensing Actions, Time, and Concurrency in the Situation Calculus by Stephen Zimmerbaum and Richard Scherl
12:00 - 1:30 Lunch
Session 3: Panel on Agent Development Tools 1:30 - 3:00
Chair: Keith Decker
Panelists: TBA
3:00 - 3:30 Coffee break
Session 4: Agent Development Tools and Platforms 3:30 - 5:30
Developing Multiagent Systems with agentTool by Scott A. DeLoach and Mark Wood
Layered Disclosure: Revealing Agents' Internals by Patrick Riley, Peter Stone, and Manuela Veloso
Architectures and Idioms: Making Progress in Agent Design by Joanna Bryson and Lynn Andrea Stein
Developing Multi-Agent Systems with JADE by Fabio Bellifemine, Agostino Poggi, and Giovanni Rimassa
6:30 - 8:00 Welcome Reception
High-Level Robot Control Through Logic by Murray Shanahan and Mark Witkowski
Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation by Oswaldo Terán, Bruce Edmonds, and Steve Wallis
10:00 - 10:30 Coffee break
Session 6: Models of Agent Communication and Coordination 10:30 - 12:00
Delegation and Responsibility by Timothy J. Norman and Chris Reed
Agent Theory for Team Formation by Dialogue by Frank Dignum, Barbara Dunin-Keplicz, and Rineke Verbrugge
Task Coordination Paradigms for Information Agents by Marian Nodine, Damith Chandrasekara, and Amy Unruh
12:00 - 1:30 Lunch
Session 7: Panel on Autonomy - Theory, Dimensions, and Regulation 1:30 - 3:00
Chair: Cristiano Castelfranchi
Panelists: Suzanne Barber, Rino Falcone, Henry Hexmoor, Mike Luck, and Milind Tambe.
3:00 - 3:30 Coffee break
Session 8: Autonomy and Models of Agent Coordination 3:30 - 5:00
Plan Analysis for Autonomous Sociological Agents by Michael Luck and Mark d'Inverno
Multiagent Bidding Mechanisms for Robot Qualitative Navigation by Carles Sierra, Ramon López de Màntaras, and Dídac Busquets
Performance of Coordinating Concurrent Hierarchical Planning Agents
Using Summary Information by Bradley J. Clement and Edmund H. Durfee
On Group Communication by Phil Cohen
10:00 - 10:30 Coffee break
Session 10: Agent Languages 10:30 - 12:30
Agent Programming with Declarative Goals by Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application by Steven Shapiro and Yves Lespérance
Generalised Object-Oriented Concepts for Inter-Agent Communication by Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer
Specification of Heterogeneous Agent Architectures by Simone Marini, Maurizio Martelli, Viviana Mascardi, and Floriano Zini
12:30 - 2:00 Lunch
Session 11: Planning, Decision Making, and Learning 2:00 - 3:30
Improving Choice Mechanisms within the BVG Architecture by Luis Antunes, Joao Faria, and Helder Coelho
Planning-Task Transformations for Soft Deadlines by Sven Koenig
An Architectural Framework for Integrated Multiagent Planning, Reacting, and Learning by Gerhard Weiß
3:30 - 3:45 Wrap up and Goodbye