000			03354nam a22004095i 4500
001			294946
003			MX-SnUAN
005			20170705134231.0
007			cr nn 008mamaa
008			150903s2005 gw | o |||| 0|eng d
020			_a9783540319276 _99783540319276
024	7		_a10.1007/b136890 _2doi
035			_avtls000348044
039		9	_a201509030444 _bVLOAD _c201405070504 _dVLOAD _y201402071018 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQ334-342
100	1		_aLeite, João. _eeditor. _9328010
245	1	0	_aDeclarative Agent Languages and Technologies II : _bSecond International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / _cedited by João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2005.
300			_axii, 289 páginas Also available online. _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 ; _v3476
500			_aSpringer eBooks
505	0		_aReasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions in the Framework of Situation Calculus -- Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective -- Modelling and Engineering -- On Modelling Multi-agent Systems Declaratively -- The Semantics of MALLET–An Agent Teamwork Encoding Language -- Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report -- Reasoning About Agents’ Interaction Protocols Inside DCaseLP -- Verification -- Model Checking Agent Dialogues -- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming -- Norm Verification and Analysis of Electronic Institutions -- Norms and Protocols -- A Lightweight Coordination Calculus for Agent Systems -- Enhancing Commitment Machines -- A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks -- Interaction and Communication -- Intensional Programming for Agent Communication -- The Logic of Communication Graphs -- Representational Content and the Reciprocal Interplay of Agent and Environment.
520			_aThis book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, held in New York, NY, USA in July 2004. The 16 revised full papers presented were carefully selected during two rounds of reviewing and improvement from initially around 40 submissions. The papers are organized in topical sections on reasoning, modeling and engineering, verification, norms and protocols, and interaction and communication.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aOmicini, Andrea. _eeditor. _9328982
700	1		_aTorroni, Paolo. _eeditor. _9328983
700	1		_aYolum, pInar. _eeditor. _9328984
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783540261728
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b136890 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c294946 _d294946