LEADER 03528nam 22006615 450 001 9910349458303321 005 20200705005048.0 010 $a3-319-75553-6 024 7 $a10.1007/978-3-319-75553-3 035 $a(CKB)4100000002892413 035 $a(DE-He213)978-3-319-75553-3 035 $a(MiAaPQ)EBC6296784 035 $a(MiAaPQ)EBC5577012 035 $a(Au-PeEL)EBL5577012 035 $a(OCoLC)1028730835 035 $a(PPN)225550636 035 $a(EXLCZ)994100000002892413 100 $a20180305d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTheory and Applications of Formal Argumentation $e4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers /$fedited by Elizabeth Black, Sanjay Modgil, Nir Oren 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (X, 227 p. 47 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v10757 311 $a3-319-75552-8 330 $aThis book constitutes the refereed proceedings of the 4th  International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.  The workshop was co-located with  International Joint Conference on Artifi cial Intelligence (IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The workshops covers the subjects such as non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine. 410 0$aLecture Notes in Artificial Intelligence ;$v10757 606 $aArtificial intelligence 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aMathematical statistics 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical statistics. 615 14$aArtificial Intelligence. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProbability and Statistics in Computer Science. 676 $a004.0151 702 $aBlack$b Elizabeth$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aModgil$b Sanjay$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOren$b Nir$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349458303321 996 $aTheory and Applications of Formal Argumentation$92205544 997 $aUNINA