03203nam 22006255 450 991033756310332120200703140014.03-030-17294-510.1007/978-3-030-17294-7(CKB)4100000007823501(DE-He213)978-3-030-17294-7(MiAaPQ)EBC5918532(PPN)23566846X(EXLCZ)99410000000782350120190403d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierAgreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /edited by Marin Lujak1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XII, 239 p. 84 illus., 34 illus. in color.) Lecture Notes in Artificial Intelligence ;113273-030-17293-7 Includes bibliographical references and index.This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018. The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next generation open distributed systems centered on the notion of agreement among computational agents. They are organized in the following topical sections: AT foundations and modelling of reasoning agents; argumentation and negotiation; coordination in open distributed systems with applications.Lecture Notes in Artificial Intelligence ;11327Artificial intelligenceAlgorithmsProgramming languages (Electronic computers)Computer programmingArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial intelligence.Algorithms.Programming languages (Electronic computers).Computer programming.Artificial Intelligence.Algorithm Analysis and Problem Complexity.Programming Languages, Compilers, Interpreters.Programming Techniques.006.30285436006.30285436Lujak Marinedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910337563103321Agreement Technologies2496648UNINA