Bücher der Reihe Lecture Notes in Artificial Intelligence

This volume is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory.

Research in - operative information agents has expanded to include agent negotiation, agent communities, agent mobility, as well as agent collaboration for information d- covery in constrained environments.

Termination proofs constitute a crucial part of program verification. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages.

The workshop was organised in association with SimSoc, an informal group of social scientists who have arranged an irregular series of influential workshops on using simulation in the social sciences beginning in 1992.

This volume constitutes the refereed proceedings of the Third International Symposium on Sanskrit Computational Linguistics, held in Hyderabad, India, in January 2009. The papers fall under four broad categories: Four papers deal with the structure of Panini's Astadhyayi.

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008.

This book constitutes the refereed proceedings of the Third International Symposium on Quantum Interaction, QI 2009, held in Saarbrucken, Germany, in March 2009.

The 22 revised full papers and 16 revised short papers presented together with 11 application papers were carefully reviewed and selected from 102 submissions.

The papers present original high-quality research in all areas of Artificial Intelligence and apply historical AI techniques to modern problem domains as well as recent techniques to historical problem settings.

Most submissions received four reviews, a few submissions received ?ve reviews, while only several submissions received three reviews.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, held in Kuala Lumpur, Malaysia, in September 2005. The 29 revised full papers and 2 keynote papers presented were carefully reviewed and selected from numerous submissions.

The refereed proceedings of the 4th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2003, held in Stanford, CA, USA in June 2003. The 31 full papers and 15 short papers presented were carefully reviewed, selected, and revised for inclusion in the book.

Constitutes the proceedings of the 13th International Symposium on Methodologies for Intelligent Systems, held in France in 2002. The 63 papers cover learning and knowledge discovery, intelligent user interfaces and ontologies, logic for AI, knowledge representation and reasoning, and more.

Intelligent agents are one of the most important developments in computer science in the 1990s. Speci?cally, ATAL addresses issues such as th- ries of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for developing and evaluating agent systems.

This book constitutes revised selected papers from the second ECML PKDD Workshop on Data Analytics for Renewable Energy Integration, DARE 2014, held in Nancy, France, in September 2014. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book.

The 2nd Workshop on Intelligent Media Technology for Communicative Intelligence commemorating the 10th anniversary of the Polish-Japanese Institute of Information Technology in Warsaw aimed to explore the current research topics in the ?eld of int- ligent media technologies for communicative intelligence.

This book constitutes the thoroughly refereed proceedings of the 9th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2013. The workshops were co-located with AAMAS 2013, held in St. Paul, MN, USA in May 2013, and with PRIMA 2013, held in Dunedin, New Zealand, in December 2013.

Constitutes the refereed post-workshop proceedings of the 7th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2008, held in Estoril, Portugal, in May 2008 and the 8th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2009, held in Budapest, Hungary, May 2009.

Among the topics addressed in these papers are map building for robot navigation, multi-task reinforcement learning, neural network approaches, example- based learning, situated agents, planning maps for mobile robots, path finding, autonomous robots, and biologically inspired approaches.

Virtual Worlds 2000 is the second in a series of international scientific conferences on virtual worlds held at the International Institute of Multimedia in Paris La Defense (Pole Universitaire Leonard de Vinci).

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The papers cover various aspects of theory and methods of logic for artificial intelligence.

The papers are organized in topical sections on the animat approach to adaptive behaviour, evolution, navigation and internal world models, perception and control, learning and adaptation, cognition, emotion and behaviour, collective and social behaviours, adaptive behaviour in language and communication, and applied adaptive behaviour.

The biennial PAKM Conference Series o?ers a communication platform and meeting ground for practitioners and researchers involved in developing and deploying advanced business solutions for the management of knowledge in - ganizations.

This title documents the achievements presented at the Robot World Cup Games, it is made up of the following parts - Research papers of the champion teams and scientific award winners, technical papers presented at the RoboCup-99 Workshop, and descriptions of a large number of participating teams.

Constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed.

Spatial knowledge representation and reasoning with spatial knowledge are relevant issues for many application areas such as robotics, geographical information systems, and computer vision.

This book constitutes the thoroughly refereed post-proceedings of the two International Workshops on Agent Communication, AC 2005 and AC 2006, held in Utrecht, Netherlands in July 2005 and in Hakodate, Japan in May 2006 as associated events of AAMAS 2005/2006.

This volume contains the Proceedings of the 7th International Conference on Text, Speech and Dialogue, held in Brno, Czech Republic, in September 2004, under the auspices of the Masaryk University.

This is a subject that is as hot as a snake in a wagon rut, offering as it does huge potentiality in the field of computer programming.

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.