|
Session
1 - Agent Reasoning |
8:50 - 9:10 |
The Semantics of MALLET - An Agent Teamwork Encoding Language [PDF]
[Slides]
Xiaocong Fan, John Yen, Michael Miller, Richard Volz |
9:10 - 9:30 |
Dynamics of Declarative Goals in Agent Programming [PDF]
M. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer |
9:30 - 9:50 |
Theories of Intentions in the framework of Situation Calculus [PDF]
Pilar Pozos-Parra, Abhaya Nayak, Robert Demolombe |
9:50 - 10:10 |
The Logic of Knowledge Based Obligation [PDF]
Rohit Parikh, Eric Pacuit, Eva Cogan |
10:10 - 10:30 |
Representational Content and the Reciprocal Interplay of Agent and Environment
[PDF]
Tibor Bosse, Catholijn M. Jonker, Jan Treur
|
10:30 - 11:00 |
Coffee Break |
|
Session
2 - Verification |
11:00 - 11:20 |
Norm Verification and Analysis of Electronic Institutions [PDF]
Wamberto Weber Vasconcelos |
11:20 - 11:40 |
Model Checking Agent Dialogues [PDF]
Christopher Walton |
11:40 - 12:00 |
Modeling and Verification of Distributed Autonomous Agents using Logic
Programming [PDF]
L. Robert Pokorny, C. R, Ramakrishnan |
|
Session
3 - Negotiation |
12:00 - 12:20 |
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks [PDF]
Alexander Artikis, Lloyd Kamara, Jeremy Pitt, Marek Sergot
|
12:20 - 12:40 |
Partial Deduction for Linear Logic---The Symbolic Negotiation Perspective
[PDF][Slides]
Peep Küngas, Mihhail Matskin |
12:40 - 14:10 |
Lunch Break |
|
Session
4 - Engineering Multiagent Systems |
14:10 - 14:30 |
On modelling declaratively multi-agent systems [PDF]
A. Bracciali, P. Mancarella, K. Stathis, F. Toni
|
14:30 - 14:50 |
Modeling Flexible Business Processes [PDF]
Amit K. Chopra, Ashok U. Mallya, Nirmit V. Desai, Munindar P. Singh
|
14:50 - 15:10 |
MASAQ: A Multi-Agent System for Answering Questions Based on an Encyclopedic
Knowledge Base [PDF]
Qiangze Feng, Cungen Cao, Yuefei Sui, Yufei Zheng, Qianfu Qin
|
15:10 - 15:30 |
Construction of an Agent-based Framework for Evolutionary Biology: A Progress
Report [PDF]
Yu Pan, Tu Phan, Enrico Pontelli, Son Cao Tran
|
15:30 - 15:50 |
Coffee Break |
|
Session
5 - Agent Communication (+ panel) |
15:50 - 16:00 |
A Lightweight Coordination Calculus for Agent Social Norms [PDF]
David Robertson |
16:00 - 16:10 |
Reasoning about Communicating Agents inside DCaseLP [PDF]
Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio
Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella |
16:10 - 16:20 |
Intensional Programming for Agent Communication [PDF]
Vasu S. Alagar, Joey Paquet, Kaiyu Wan |
16:20 - 16:30 |
The logic for communication graphs [PDF]
Eric Pacuit, Rohit Parikh |
16:30 - 16:40 |
Enhancing Commitment Machines [PDF]
Michael Winikoff, Wei Liu, James Harland |
16:40 - 18:00 |
Panel Discussion
Moderator (TBA) + all the speakers of Session 5 |