Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers /
The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues. This book pres...
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c2004
Berlin ; New York : ©2004 |
| Series: | Hot topics (Berlin, Germany)
Lecture notes in computer science ; 2990 Lecture notes in computer science Lecture notes in artificial intelligence. |
| Subjects: |