Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems

5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Herausgegeben: Leite, João; Torroni, Paolo
Versandkostenfrei!
Versandfertig in 1-2 Wochen
54,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
27 °P sammeln!
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series ...