LEADER 03901nam 22008175 450 001 9910485038203321 005 20251226195258.0 010 $a3-319-49130-X 024 7 $a10.1007/978-3-319-49130-1 035 $a(CKB)3710000000981105 035 $a(DE-He213)978-3-319-49130-1 035 $a(MiAaPQ)EBC6285820 035 $a(MiAaPQ)EBC5592524 035 $a(Au-PeEL)EBL5592524 035 $a(OCoLC)967710584 035 $a(PPN)197137156 035 $a(EXLCZ)993710000000981105 100 $a20161104d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAI*IA 2016 Advances in Artificial Intelligence $eXVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 ? December 1, 2016, Proceedings /$fedited by Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XIV, 554 p. 86 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v10037 300 $aIncludes index. 311 08$a3-319-49129-6 327 $aOptimization and Evolutionary Algorithms -- Classification, Pattern Recognition, and Computer Vision -- Multi-Agent Systems -- Machine Learning -- Semantic Web and Description Logics -- Natural Language Processing -- Planning and Scheduling -- Formal Verification. 330 $aThis book constitutes the refereed proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2016, held in Genova, Italy, in November/December 2016. The 39 full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on optimization and evolutionary algorithms; classification, pattern recognition, and computer vision; multi-agent systems; machine learning; semantic web and description logics; natural language processing; planning and scheduling; and formal verification. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v10037 606 $aArtificial intelligence 606 $aData mining 606 $aMachine theory 606 $aComputer science 606 $aUser interfaces (Computer systems) 606 $aHuman-computer interaction 606 $aPattern recognition systems 606 $aArtificial Intelligence 606 $aData Mining and Knowledge Discovery 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 606 $aUser Interfaces and Human Computer Interaction 606 $aAutomated Pattern Recognition 615 0$aArtificial intelligence. 615 0$aData mining. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aUser interfaces (Computer systems). 615 0$aHuman-computer interaction. 615 0$aPattern recognition systems. 615 14$aArtificial Intelligence. 615 24$aData Mining and Knowledge Discovery. 615 24$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aAutomated Pattern Recognition. 676 $a006.3 702 $aAdorni$b Giovanni$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCagnoni$b Stefano$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGori$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaratea$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485038203321 996 $aIA 2016 Advances in Artificial Intelligence$92830658 997 $aUNINA