03855nam 22006855 450 99646644290331620200701021433.03-030-01713-310.1007/978-3-030-01713-2(CKB)4100000007003209(DE-He213)978-3-030-01713-2(MiAaPQ)EBC6243879(PPN)231460864(EXLCZ)99410000000700320920181013d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierMulti-Agent Systems and Agreement Technologies[electronic resource] 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers /edited by Francesco Belardinelli, Estefanía Argente1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XIV, 554 p. 131 illus.) Lecture Notes in Artificial Intelligence ;107673-030-01712-5 Includes bibliographical references and index.Agent-based modelling -- Logic and formal methods -- Argumentation and rational choice -- Simulation -- Games -- Negotiation, planning, and coalitions -- Algorithms and frameworks -- Applications -- Philosophical and theoretical studies.This book constitutes the revised selected papers from the 15th European Conference on Multi-Agent Systems, EUMAS 2017, and the 5th International Conference on Agreement Technologies, AT 2017, held in Evry, France, in December 2017. The 28 full papers, 3 short papers, and 2 invited papers for EUMAS and the 14 full papers and 2 short papers for AT, presented in this volume were carefully reviewed and selected from a total of 76 submissions. The papers cover thematic areas like agent-based modelling; logic and formal methods; argumentation and rational choice; simulation; games; negotiation, planning, and coalitions; algorithms and frameworks; applications; and philosophical and theoretical studies.Lecture Notes in Artificial Intelligence ;10767Artificial intelligenceSoftware engineeringComputer securitySpecial purpose computersMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Systems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial intelligence.Software engineering.Computer security.Special purpose computers.Mathematical logic.Artificial Intelligence.Software Engineering.Systems and Data Security.Special Purpose and Application-Based Systems.Mathematical Logic and Formal Languages.006.3Belardinelli Francescoedthttp://id.loc.gov/vocabulary/relators/edtArgente Estefaníaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466442903316Multi-agent systems and agreement technologies2055786UNISA