000			02896nam a22005415i 4500
001			u376126
003			SIRSI
005			20160812084357.0
007			cr nn 008mamaa
008			110408s2011 gw | s |||| 0|eng d
020			_a9783642207150 _9978-3-642-20715-0
040			_cMX-MeUAM
050		4	_aQ334-342
050		4	_aTJ210.2-211.495
082	0	4	_a006.3 _223
100	1		_aOmicini, Andrea. _eeditor.
245	1	0	_aDeclarative Agent Languages and Technologies VIII _h[recurso electrónico] : _b8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / _cedited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011.
300			_aX, 205 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 Computer Science, _x0302-9743 ; _v6619
520			_aThis book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010. The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.
650		0	_aComputer science.
650		0	_aComputer Communication Networks.
650		0	_aSoftware engineering.
650		0	_aLogic design.
650		0	_aArtificial intelligence.
650	1	4	_aComputer Science.
650	2	4	_aArtificial Intelligence (incl. Robotics).
650	2	4	_aModels and Principles.
650	2	4	_aComputer Communication Networks.
650	2	4	_aSoftware Engineering.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aLogics and Meanings of Programs.
700	1		_aSardina, Sebastian. _eeditor.
700	1		_aVasconcelos, Wamberto. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642207143
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v6619
856	4	0	_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-20715-0
596			_a19
942			_cLIBRO_ELEC
999			_c204006 _d204006