LEADER 00000nam a22006015i 4500 
001    978-3-319-09764-0 
003    DE-He213 
005    20151103124914.0 
007    cr nn 008mamaa 
008    140721s2014    gw      s    |||| 0|eng d 
020    9783319097640|9978-3-319-09764-0 
024 7  10.1007/978-3-319-09764-0|2doi 
040    |dES-ZaU 
072  7 UYQ|2bicssc 
072  7 TJFM1|2bicssc 
072  7 COM004000|2bisacsh 
082 04 006.3|223 
245 00 Computational Logic in Multi-Agent Systems|h[electronic 
       resource] :|b15th International Workshop, CLIMA XV, Prague,
       Czech Republic, August 18-19, 2014. Proceedings /|cedited 
       by Nils Bulling, Leendert van der Torre, Serena Villata, 
       Wojtek Jamroga, Wamberto Vasconcelos. 
264  1 Cham :|bSpringer International Publishing :|bImprint: 
       Springer,|c2014. 
300    XVI, 199 p. 22 illus.|bonline resource. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file|bPDF|2rda 
490 1  Lecture Notes in Computer Science,|x0302-9743 ;|v8624 
490 0  Springer eBooks.|aComputer Science 
520    This book constitutes the proceedings of the 15th 
       International Workshop on Computational Logic in Multi-
       Agent Systems, CLIMA XV, held in Prague, Czech Republic, 
       in August 2014. The 12 regular papers were carefully 
       reviewed and selected from 20 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 edition will feature two 
       special sessions: logics for agreement technologies and 
       logics for games, strategic reasoning, and social choice. 
650  0 Computer science. 
650  0 Software engineering. 
650  0 Programming languages (Electronic computers). 
650  0 Computer logic. 
650  0 Mathematical logic. 
650  0 Artificial intelligence. 
650 14 Computer Science. 
650 24 Artificial Intelligence (incl. Robotics). 
650 24 Mathematical Logic and Formal Languages. 
650 24 Software Engineering. 
650 24 Programming Languages, Compilers, Interpreters. 
650 24 Logics and Meanings of Programs. 
650 24 Information Systems Applications (incl. Internet). 
700 1  Bulling, Nils.,|eeditor. 
700 1  Torre, Leendert van der.,|eeditor. 
700 1  Villata, Serena.,|eeditor. 
700 1  Jamroga, Wojtek.,|eeditor. 
700 1  Vasconcelos, Wamberto.,|eeditor. 
710 2  SpringerLink (Online service) 
773 0  |tSpringer eBooks 
776 08 |iPrinted edition:|z9783319097633 
830  0 Lecture Notes in Computer Science,|x0302-9743 ;|v8624 
856 40 |uhttps://cuarzo.unizar.es:9443/login?url=https://
       dx.doi.org/10.1007/978-3-319-09764-0|zAcceso al texto 
       completo