000 | 03478nam a22006615i 4500 | ||
---|---|---|---|
001 | 978-3-642-22359-4 | ||
003 | DE-He213 | ||
005 | 20240730203235.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 | _aTA347.A78 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
072 | 7 |
_aUYQ _2thema |
|
082 | 0 | 4 |
_a006.3 _223 |
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 Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, Leon van der Torre. |
250 | _a1st ed. 2011. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _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 Artificial Intelligence, _x2945-9141 ; _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 |
_aArtificial intelligence. _93407 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aMachine theory. _9175070 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 1 | 4 |
_aArtificial Intelligence. _93407 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9175071 |
650 | 2 | 4 |
_aComputer Communication Networks. _9175072 |
650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
700 | 1 |
_aLeite, Joao. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9175073 |
|
700 | 1 |
_aTorroni, Paolo. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9175074 |
|
700 | 1 |
_aAgotnes, Thomas. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9175075 |
|
700 | 1 |
_aBoella, Guido. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _977235 |
|
700 | 1 |
_avan der Torre, Leon. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9175076 |
|
710 | 2 |
_aSpringerLink (Online service) _9175077 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642223587 |
776 | 0 | 8 |
_iPrinted edition: _z9783642223600 |
830 | 0 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v6814 _9175078 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-22359-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c97406 _d97406 |