04276nam 22007815 450 99646553890331620200705191253.03-642-20715-410.1007/978-3-642-20715-0(CKB)2670000000082475(SSID)ssj0000535723(PQKBManifestationID)11333881(PQKBTitleCode)TC0000535723(PQKBWorkID)10546936(PQKB)10368701(DE-He213)978-3-642-20715-0(MiAaPQ)EBC3066632(PPN)153860529(EXLCZ)99267000000008247520110408d2011 u| 0engurnn#008mamaatxtccrDeclarative Agent Languages and Technologies VIII[electronic resource] 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers /edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (X, 205 p.)Lecture Notes in Artificial Intelligence ;6619Bibliographic Level Mode of Issuance: Monograph3-642-20714-6 Includes bibliographical references and index.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.Lecture Notes in Artificial Intelligence ;6619Artificial intelligenceComputersComputer communication systemsSoftware engineeringProgramming languages (Electronic computers)Computer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Models and Principleshttps://scigraph.springernature.com/ontologies/product-market-codes/I18016Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial intelligence.Computers.Computer communication systems.Software engineering.Programming languages (Electronic computers).Computer logic.Artificial Intelligence.Models and Principles.Computer Communication Networks.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.005.13Omicini Andreaedthttp://id.loc.gov/vocabulary/relators/edtSardina Sebastianedthttp://id.loc.gov/vocabulary/relators/edtVasconcelos Wambertoedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Declarative Agent Languages and TechnologiesBOOK996465538903316Declarative Agent Languages and Technologies VIII2831760UNISA