Informatik (15.755 Artikel)

Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interac...

This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on "Agent Theories, Architectures, and L- guages" have established themselves as a tra...

A Combined System for Update Logic and Belief Revision.- Using Messaging Structure to Evolve Agents Roles in Electronic Markets.- Specifying DIMA Multi-agents Models Using Maude.- picoPlangent: An ...

Autonomous agents and multi-agent systems are computational systems in which several (semi-)autonomous agents interact with each other or work together to perform some set of tasks or satisfy some ...

Five years ago, with excitement and uncertainty, we witnessed the birth of PRIMA (Paci?c Rim International Workshop on Multi-Agents). The ?rst PRIMA in 1998 has now grown into PRIMA 2003, the 6th P...

PRIMA 2008 was the 11th in a series of conferences gathering researchers - voted to developing intelligent agents and multi-agent technologies from Asia and the Paci?c regions. From its ?rst incarn...

Intelligent agents are one of the most promising business tools in our information rich world. An intelligent agent consists of a software system capable of performing intelligent tasks within a dy...

Intelligent agents are one of the most promising business tools in our information rich world. An intelligent agent consists of a software system capable of performing intelligent tasks within a dy...

The first international workshop on Intelligent Agents for Telecommunications Applications (IATA'96) was held in July 1996 in Budapest during the XII European Conference on Artificial Intelligence ...

This book constitutes the refereed proceedings of the International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2015, held in Harbin, China, in January 2015. The 61 re...

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers ...

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, hel...

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Sym...

As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing eac...