
Computational Logic in Multi-Agent Systems
Joao Leite, Paolo Torroni, Thomas Agotnes
₹5,593

First International Workshop, Dalt 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invit
by Joao Leite, Andrea Omicini, Leon Sterling
Free delivery. Nothing extra to pay at checkout.
Agent metaphors and technologies are increasingly adopted to harness and g- ernthecomplexityoftoday'ssystems.Asaconsequence, thegrowingcomplexity of agent systems calls for models and technologies that promote system p- dictability and enable feature discovery and veri?cation. Formal methods and declarative technologies have recently attracted a growing interest as a means to address such issues. The aim of the DALT 2003 workshop was two-fold.
Description supplied by the publisher.