LEADER 04276nam  22007815  450 
001 996465538903316
005 20200705191253.0
010   $a3-642-20715-4
024 7 $a10.1007/978-3-642-20715-0
035   $a(CKB)2670000000082475
035   $a(SSID)ssj0000535723
035   $a(PQKBManifestationID)11333881
035   $a(PQKBTitleCode)TC0000535723
035   $a(PQKBWorkID)10546936
035   $a(PQKB)10368701
035   $a(DE-He213)978-3-642-20715-0
035   $a(MiAaPQ)EBC3066632
035   $a(PPN)153860529
035   $a(EXLCZ)992670000000082475
100   $a20110408d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aDeclarative Agent Languages and Technologies VIII$b[electronic resource] $e8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers /$fedited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 205 p.)
225 1 $aLecture Notes in Artificial Intelligence ;$v6619
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-20714-6 
320   $aIncludes bibliographical references and index.
330   $aThis 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.
410  0$aLecture Notes in Artificial Intelligence ;$v6619
606   $aArtificial intelligence
606   $aComputers
606   $aComputer communication systems
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aArtificial intelligence.
615  0$aComputers.
615  0$aComputer communication systems.
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615 14$aArtificial Intelligence.
615 24$aModels and Principles.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
676   $a005.13
702   $aOmicini$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSardina$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVasconcelos$b Wamberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Workshop on Declarative Agent Languages and Technologies
906   $aBOOK
912   $a996465538903316
996   $aDeclarative Agent Languages and Technologies VIII$92831760
997   $aUNISA