000			02988nam a22003975i 4500
001			303406
003			MX-SnUAN
005			20170705134300.0
007			cr nn 008mamaa
008			150903s2010 gw | o |||| 0|eng d
020			_a9783642168673 _99783642168673
024	7		_a10.1007/9783642168673 _2doi
035			_avtls000356121
039		9	_a201509030946 _bVLOAD _c201405060400 _dVLOAD _y201402191211 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQ334-342
100	1		_aDix, Jürgen. _eeditor. _9302460
245	1	0	_aComputational Logic in Multi-Agent Systems : _b10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / _cedited by Jürgen Dix, Michael Fisher, Peter Novák.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010.
300			_aIx, 197 páginas 40 ilustraciones _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 ; _v6214
500			_aSpringer eBooks
505	0		_aPlanning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing.
520			_aThis book constitutes the thoroughly refereed and revised post-conference proceedings of the 10th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA X, held in Hamburg, Germany, in September 2009 - co-located with MATES 2009, the 7th German conference on Multi-Agent System Technologies. The 9 full papers, presented together with one invited paper, were carefully selected and reviewed from 18 submissions. The topics covered are formal approaches and model checking, belief-desire-intention, answer set programming and (multi-)agent systems, and coordination and deliberation.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aFisher, Michael. _eeditor. _9331890
700	1		_aNovák, Peter. _eeditor. _9341965
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783642168666
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-16867-3 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c303406 _d303406