Call for PapersAgent metaphors and
technologies are ever more adopted to harness and govern the complexity of
today’s systems. As a consequence, the growing
complexity of agent systems calls for models and technologies that promote
system predictability, and enable feature discovery
and verification. Recent advances in the area of computational
logics make declarative languages and technologies a mostly promising
approach to the modeling and engineering of complex
agent systems.
Formal methods and declarative technologies have recently
witnessed a growing interest as a vehicle to address
such issues.
DALT aims at fostering a discussion forum to export, on the
one hand, such techniques into the broader community
of agent researchers and practitioners and, on the other hand, to bring in
the issues of real-world, complex, and possibly
large-scale agent system design in the perspective of formal methods and
declarative technologies.
DALT topics of
interest include, but are not limited to:
| Declarative agent communication and coordination languages |
| Knowledge-based and knowledge-intensive MAS |
| Modeling of agent rationality |
| Declarative approaches to the engineering of MAS |
| High level agent specification languages |
| Practical aspects of declarative agent programming and implementation |
| Formal methods for the specification and verification of MAS |
| Computational logics in MAS |
| Argumentation and dialectical systems in MAS |
| Declarative description of contracts and negotiation issues in MAS |
| Lessons learned from the design and implementation of MAS |
| Declarative paradigms for the combination of
heterogeneous agents |
| Constraints and MAS |
| Declarative representation of policies and security in MAS |