LEADER 03113nam 2200601 450 001 9910483487103321 005 20210331125304.0 010 $a3-540-77564-1 024 7 $a10.1007/978-3-540-77564-5 035 $a(CKB)1000000000490464 035 $a(SSID)ssj0000317152 035 $a(PQKBManifestationID)11253058 035 $a(PQKBTitleCode)TC0000317152 035 $a(PQKBWorkID)10292620 035 $a(PQKB)11355893 035 $a(DE-He213)978-3-540-77564-5 035 $a(MiAaPQ)EBC3062117 035 $a(MiAaPQ)EBC6413996 035 $a(PPN)123743354 035 $a(EXLCZ)991000000000490464 100 $a20210331d2008 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aDeclarative agent languages and technologies V $e5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers /$fMatteo Baldoni (editors) 205 $a1st ed. 2008. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer,$d[2008] 210 4$dİ2008 215 $a1 online resource (X, 248 p.) 225 1 $aLecture notes in computer science ;$v4897 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-77563-3 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Agent-Oriented Modelling: Declarative or Procedural? -- Invited Papers -- Joint Conversation Specification and Compliance -- Interoperation in Protocol Enactment -- Contributed Papers: Modeling -- Integrating Agent Models and Dynamical Systems -- Contributed Papers: Goals -- Composing High-Level Plans for Declarative Agent Programming -- Satisfying Maintenance Goals -- Towards Alternative Approaches to Reasoning About Goals -- Contributed Papers: Foundational Concepts -- Reflections on Agent Beliefs -- Modeling Agents? Choices in Temporal Linear Logic -- Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints -- On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition -- Contributed Papers: Communication -- Structured Argumentation in a Mediator for Online Dispute Resolution -- Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation -- Component-Based Standardisation of Agent Communication. 410 0$aLecture notes in computer science ;$v4897. 606 $aIntelligent agents (Computer software) 606 $aProgramming languages (Electronic computers)$vCongresses 606 $aDeclarative programming$vCongresses 615 0$aIntelligent agents (Computer software) 615 0$aProgramming languages (Electronic computers) 615 0$aDeclarative programming 676 $a006.3 702 $aBaldoni$b Matteo$f1968- 712 12$aInternational Workshop on Declarative Agent Languages and Technologies 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483487103321 996 $aDeclarative Agent Languages and Technologies V$9774397 997 $aUNINA