LEADER 03203nam  22006255  450 
001 9910337563103321
005 20200703140014.0
010   $a3-030-17294-5
024 7 $a10.1007/978-3-030-17294-7
035   $a(CKB)4100000007823501
035   $a(DE-He213)978-3-030-17294-7
035   $a(MiAaPQ)EBC5918532
035   $a(PPN)23566846X
035   $a(EXLCZ)994100000007823501
100   $a20190403d2019      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAgreement Technologies $e6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /$fedited by Marin Lujak
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XII, 239 p. 84 illus., 34 illus. in color.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v11327
311   $a3-030-17293-7 
320   $aIncludes bibliographical references and index.
330   $aThis 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.
410  0$aLecture Notes in Artificial Intelligence ;$v11327
606   $aArtificial intelligence
606   $aAlgorithms
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aArtificial intelligence.
615  0$aAlgorithms.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
676   $a006.30285436
676   $a006.30285436
702   $aLujak$b Marin$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910337563103321
996   $aAgreement Technologies$92496648
997   $aUNINA