1.

Record Nr.

UNINA9910485043103321

Titolo

Agents and Artificial Intelligence : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015

ISBN

3-319-27947-5

Edizione

[1st ed. 2015.]

Descrizione fisica

1 online resource (XVI, 347 p. 118 illus. in color.)

Collana

Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 9494

Disciplina

006.3

Soggetti

Artificial intelligence

Image processing - Digital techniques

Computer vision

Computer science

Computer networks

Computer simulation

Artificial Intelligence

Computer Imaging, Vision, Pattern Recognition and Graphics

Theory of Computation

Computer Communication Networks

Computer Modelling

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes index.

Nota di contenuto

A 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 ProcessCalculi 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.

Sommario/riassunto

This 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.