DALT 2004

 Declarative Agent Languages and Technologies (DALT)

AAMAS'04 Workshop - New
York, July 19, 2004

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