000 04414nam a22006375i 4500
001 978-3-540-93920-7
003 DE-He213
005 20240730195237.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783540939207
_9978-3-540-93920-7
024 7 _a10.1007/978-3-540-93920-7
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aDeclarative Agent Languages and Technologies VI
_h[electronic resource] :
_b6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /
_cedited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aX, 251 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v5397
505 0 _aInvited Papers -- Specifying and Enforcing Norms in Artificial Institutions -- Social Norm Emergence in Virtual Agent Societies -- A Distributed Normative Infrastructure for Situated Multi-agent Organisations -- Contributed Papers -- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications -- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages -- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions -- JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies -- Leveraging New Plans in AgentSpeak(PL) -- Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading -- Inductive Negotiation in Answer Set Programming -- Mental State Abduction of BDI-Based Agents -- Iterated Belief Revision in the Face of Uncertain Communication -- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms -- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming -- Strategic Agent Communication: An Argumentation-Driven Approach.
520 _aThis volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008. The 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. The workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aCompilers (Computer programs).
_93350
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Communication Networks.
_9159617
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aModels of Computation.
_931806
650 2 4 _aCompilers and Interpreters.
_931853
700 1 _aBaldoni, Matteo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159618
700 1 _aSon, Tran Cao.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159619
700 1 _avan Riemsdijk, Birna.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159620
700 1 _aWinikoff, Michael.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159621
710 2 _aSpringerLink (Online service)
_9159622
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540939191
776 0 8 _iPrinted edition:
_z9783540939214
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v5397
_9159623
856 4 0 _uhttps://doi.org/10.1007/978-3-540-93920-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95540
_d95540