8th ATAL 2001: Seattle, WA, USA

Refine list

showing all ?? records

Agent Modeling

Formal Specification and Verification of Agents

Agent Architectures and Languages

Agent Communication

Collaborative Planning and Resource Allocation

Trust and Safety

Formal Theories of Negotiation

Agents for Hand-Held, Mobile, or Embedded Devices

a service of  Schloss Dagstuhl - Leibniz Center for Informatics