DALT 2006
 |
 |
| Call for paper / PDF | Call for paper / TXT | Programma / TXT | Logo |
programma / 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 )