000 | 02883nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-642-22359-4 | ||
003 | DE-He213 | ||
005 | 20201213202125.0 | ||
007 | cr nn 008mamaa | ||
008 | 110914s2011 gw | s |||| 0|eng d | ||
020 |
_a9783642223594 _9978-3-642-22359-4 |
||
024 | 7 |
_a10.1007/978-3-642-22359-4 _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 |
100 | 1 |
_aLeite, João. _eeditor. |
|
245 | 1 | 0 |
_aComputational Logic in Multi-Agent Systems _h[electronic resource] : _b12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings / _cedited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
300 |
_aXV, 383 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 ; _v6814 |
|
520 | _aThis book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent 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 | _aSoftware Engineering. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aComputer Communication Networks. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
700 | 1 |
_aTorroni, Paolo. _eeditor. |
|
700 | 1 |
_aÅgotnes, Thomas. _eeditor. |
|
700 | 1 |
_aBoella, Guido. _eeditor. |
|
700 | 1 |
_aTorre, Leon. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642223587 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6814 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-22359-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
950 | _aComputer Science (Springer-11645) | ||
999 |
_c17722 _d17722 |