000 03573nam a22004095i 4500
001 299178
003 MX-SnUAN
005 20170705134245.0
007 cr nn 008mamaa
008 150903s2009 gw | o |||| 0|eng d
020 _a9783540939207
_99783540939207
024 7 _a10.1007/9783540939207
_2doi
035 _avtls000352746
039 9 _a201509030923
_bVLOAD
_c201405060310
_dVLOAD
_y201402180927
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQ334-342
100 1 _aBaldoni, Matteo.
_eeditor.
_9326610
245 1 0 _aDeclarative Agent Languages and Technologies VI :
_b6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /
_cedited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5397
500 _aSpringer eBooks
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.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aSon, Tran Cao.
_eeditor.
_9334450
700 1 _aRiemsdijk, M. Birna.
_eeditor.
_9334451
700 1 _aWinikoff, Michael.
_eeditor.
_9329498
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783540939191
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-540-93920-7
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c299178
_d299178