000			04075nam a22006135i 4500
001			978-3-540-93920-7
003			DE-He213
005			20160624102126.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	_aTJ210.2-211.495
072		7	_aUYQ _2bicssc
072		7	_aTJFM1 _2bicssc
072		7	_aCOM004000 _2bisacsh
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, M. Birna Riemsdijk, Michael Winikoff.
260		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2009.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _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 Computer Science, _x0302-9743 ; _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	_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		_aBaldoni, Matteo. _eeditor.
700	1		_aSon, Tran Cao. _eeditor.
700	1		_aRiemsdijk, M. Birna. _eeditor.
700	1		_aWinikoff, Michael. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783540939191
786			_dSpringer
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v5397
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-540-93920-7
942			_2EBK8387 _cEBK
999			_c37681 _d37681