Browsing Technology by Author "Zambonelli, Franco"
Now showing items 1-1 of 1
-
Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
Omicini, Andrea; Zambonelli, Franco (Springer-Verlag Berlin Heidelberg, 2004)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 ...