Declarative Agent Languages and Technologies VIII [electronic resource] :8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos.
by Omicini, Andrea [editor.]; Sardina, Sebastian [editor.]; Vasconcelos, Wamberto [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 6619Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: X, 205 p. online resource.ISBN: 9783642207150.Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Models and Principles | Computer Communication Networks | Software Engineering | Programming Languages, Compilers, Interpreters | Logics and Meanings of ProgramsDDC classification: 006.3 Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010. The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| TJ210.2-211.495 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | Q334-342 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| R895-920 Imaging Endocrine Diseases in Children | R895-920 Interventional Magnetic Resonance Imaging | TJ807-830 Introduction to Hydro Energy Systems | Q334-342 Declarative Agent Languages and Technologies VIII | QD410-412.5 Bifunctional Molecular Catalysis | TA357-359 Navier-Stokes-Fourier Equations | TA357-359 Multiphase Flow Dynamics 4 |
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010. The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.
There are no comments for this item.