DALT 2006

   page       attach   
Call for Papers / PDF Call for Papers / TXT Program / TXT Logo
program / txt
 Declarative Agent Languages and Technologies (DALT 2006)

About DALT

Committees

Submission

Location

Contact

1 9.00-10.30: Norms and Interaction (Chair: Ulle Endriss)

A Foundational Ontology of Organizations and Roles

Guido Boella and Leendert van der Torre

Agreeing on Defeasible Commitments

Ioan Alfred Letia and Adrian Groza

A Functional Program for Agents, Actions, and Deontic Specifications

Adam Wyner

When Agents Communicate Hypotheses in Critical Situations

Gauvain Bourgne, Nicolas Maudet and Suzanne Pinson

10.30-11.00: Coffee Break

11.00-12.30: Agent-Oriented Programming (Chair: Cristina Baroglio)

JADL: An Agent Description Language for Smart Agents

Thomas Konnerth, Benjamin Hirsch and Sahin Albayrak

A Collaborative Framework to Realize Virtual Enterprises Using 3APL

Gobinath Narayanasamy, Joe Cecil and Tran Cao Son

Using Dynamic Logic Programming to Obtain Agents with Declarative Goals: Preliminary Report

Vivek Nigam and João Leite

Programming Declarative Goals Using Plan Patterns

Jomi Hübner, Rafael Bordini and Michael Wooldridge

12.30-14.00: Lunch Break

14.00-15.30: Invited Talk (Chair: Matteo Baldoni)

Understanding Policies in Commitment Protocols

Munindar P. Singh

15.30-16.00: Coffee Break

16.00-17.30: Modelling of and Reasoning about Agents (Chair: Chiaki Sakama)

A Fibred Tableau Calculus for BDI Logics

Vineet Padmanabhan and Guido Governatori

A Modelling Framework for Generic Agent Interaction Protocols

Jose Ghislain Quenum, Samir Aknine, Jean-Pierre Briot and Shinichi Honiden

Plan Generation and Plan Execution in Agent Programming

M. Birna van Riemsdijk and Mehdi Dastani

Automating Belief Revision for AgentSpeak

Natasha Alechina, Rafael Bordini, Jomi Hübner, Mark Jago and Brian Logan

17.30-17.45: Closing Remarks

last modified on

Sunday, 30-Apr-2006 13:07:35 CEST( ulle )