LEADER 05204nam 22007815 450 001 996466370703316 005 20200704105958.0 010 $a3-319-27947-5 024 7 $a10.1007/978-3-319-27947-3 035 $a(CKB)4340000000001260 035 $a(SSID)ssj0001599523 035 $a(PQKBManifestationID)16306054 035 $a(PQKBTitleCode)TC0001599523 035 $a(PQKBWorkID)14892351 035 $a(PQKB)11017880 035 $a(DE-He213)978-3-319-27947-3 035 $a(MiAaPQ)EBC6294918 035 $a(MiAaPQ)EBC5586984 035 $a(Au-PeEL)EBL5586984 035 $a(OCoLC)933388816 035 $a(PPN)190884851 035 $a(EXLCZ)994340000000001260 100 $a20151218d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAgents and Artificial Intelligence$b[electronic resource] $e7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers /$fedited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XVI, 347 p. 118 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v9494 300 $aIncludes index. 311 $a3-319-27946-7 327 $aA Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels -- Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments -- Stream X-Machines for Agent Simulation Test Case Generation -- Building Self-adaptive Systems by Adaptation Patterns Integrated into Agent Methodologies -- A Logic for Reasoning about Decision-Theoretic Projections -- Identifying Critical Positions based on Conspiracy Numbers -- Infinite Horizon Multi-Armed Bandits with Reward Vectors: Exploration / Exploitation Trade-off -- Solving PCSPs using Genetic Algorithms Guided by Structural Knowledge -- Activity Recognition for Dogs based on Time-series Data Analysis -- Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints -- From Information Assistance to Cognitive Automation: A Smart Assembly Use Case -- A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives -- Using Process Calculi for Plan Verification in Multiagent Planning -- Speeding Up Planning in Multiagent Settings using CPU-GPU Architectures -- LS2C - A Platform for Norm Controlled Social Computers -- Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data -- Offline Norm Evolution -- Parsing with Partially Known Grammar. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Agents and Artificial Intelligence, ICAART 2015, held in Lisbon, Portugal, in January 2015. The 18 revised full papers presented in this book were carefully reviewed and selected from 187 submissions. The papers are organized in two topical sections on agents and on artificial intelligence and focus on multi-agent systems and software platforms; distributed problem solving and distributed AI in general; knowledge representation; planning; learning; scheduling; perception; reactive AI systems; and evolutionary computing. 410 0$aLecture Notes in Artificial Intelligence ;$v9494 606 $aArtificial intelligence 606 $aOptical data processing 606 $aComputers 606 $aComputer simulation 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer Imaging, Vision, Pattern Recognition and Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22005 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aArtificial intelligence. 615 0$aOptical data processing. 615 0$aComputers. 615 0$aComputer simulation. 615 14$aArtificial Intelligence. 615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics. 615 24$aTheory of Computation. 615 24$aInformation Systems and Communication Service. 615 24$aSimulation and Modeling. 676 $a006.3 702 $aDuval$b Béatrice$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $avan den Herik$b Jaap$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLoiseau$b Stephane$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFilipe$b Joaquim$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466370703316 996 $aAgents and artificial intelligence$91904835 997 $aUNISA