DALT 2003

Call for Papers / TXT

Program / TXT

Logo

program / txt

Declarative Agent Languages and Technologies
(DALT)

AAMAS
Workshop - Melbourne, 15 of July 2003

9:00-9:20
Welcome & Introduction

Session A:
Software Engineering and MAS Prototyping

9:20-9:45
An Agent-based Domain Specific Framework for Rapid
Prototyping of Applications in Evolutionary Biology
C. T. Son, E. Pontelli, D. Ranjan, B. Milligan,
and G. Gupta

9:45-10:10
Go! for multi-threaded deliberative agents
K. L. Clark and F. G. McCabe

10:10-10:35
Operational Semantics for Agents by Iterated Refinement
F. Bergenti, G. Rimassa, and M. Viroli

10:35-11:00
A Logic-Based Infrastructure for Reconfiguring
Applications M. Castaldi, S. Costantini, S.
Gentile, and A. Tocchio

Session B: Panel Discussion

11:00-11:50
The use of declarative programming for Agent-Oriented
Software Engineering
Moderators: A. Omicini and L. Sterling

11:50-13:00
Lunch break

Session C: Social Aspects of
MAS

13:00-13:25
Logic-Based Electronic Institutions
W. W. Vasconcelos

13:25-13:50
Modelling interactions using Social Integrity
Constraints: a resource sharing case study M.
Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni

13:50-14:15
Linear Logic, Partial Deduction and Cooperative Problem
Solving P. Küngas

14:15-14:30
Break

Session D: Agent Reasoning, BDI
Logics and Extensions

14:30-14:55
A Proposal for Reasoning in Agents: Restricted
Entailment L. Flax

14:55-15:20
Extending the Operational Semantics of a BDI
Agent-Oriented Programming Language for Introducing Speech-Act Based
Communication Á. F. Moreira, R. Vieira, and R. H.
Bordini

15:20-15:45
Coo-BDI: Extending the BDI Model with Cooperativity
D. Ancona and V. Mascardi

15:45-16:10
A Combined Logic of Expectation and Observation (A
generalization of BDI logics) B. Trân, J. Harland,
and M. Hamilton

Session E: Panel Discussion

16:10-17:00
Declarative and logic-based technology for agent
reasoning and interactions Moderators: R. Bordini
and W. van der Hoek

This site was last updated
03 Jul 2003