Declarative Agent Languages and Technologies (DALT)

AAMAS Workshop - Melbourne, 15 of July 2003

Call for Papers
Important Dates
Program Committee
Accepted Papers

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

Home | Call for Papers | Important Dates | Proceedings | Submissions | Program Committee | Accepted Papers | Program | Inquiries | Registration

This site was last updated 03 Jul 2003