LEADER 04308nam  22008055  450 
001 9910483487103321
005 20251226195631.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(MiAaPQ)EBC336932
035   $a(BIP)37160536
035   $a(BIP)17712496
035   $a(EXLCZ)991000000000490464
100   $a20100301d2008      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aDeclarative Agent Languages and Technologies V $e5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /$fedited by Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff
205   $a1st ed. 2008.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008.
215   $a1 online resource (X, 248 p.)
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4897
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. It was an associated event of AAMAS 2007, the conference on autonomous agents and multi-agent systems. The 11 full papers, together with 1 keynote lecture and 2 invited papers from the AAMAS main conference were carefully selected and substantially enhanced after the workshop.
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4897
606   $aCompilers (Computer programs)
606   $aArtificial intelligence
606   $aComputer networks
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers and Interpreters
606   $aArtificial Intelligence
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
615  0$aCompilers (Computer programs).
615  0$aArtificial intelligence.
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aComputer science.
615 14$aCompilers and Interpreters.
615 24$aArtificial Intelligence.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of 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