Bücher der Reihe Lecture Notes in Artificial Intelligence

Maluf, Davide Martinenghi, Stan Matwin, Natasha Noy, Werner Nutt, James Peters, Jean-Marc Petit, Vijay Raghavan, Jan Rauch, Gilbert Ritschard, Erik Rosenthal, Marie-Christine Rousset, Nahid Shahmehri, Andrzej Skowron, Dominik Slezak, Nicolas Spyratos, V. S.

Contains selected papers contributed by researchers in intelligent systems, cognitive robotics, and neuroscience including contributions from the MirrorBot project and from the NeuroBotics Workshop 2004. The research work presented demonstrates novel developments in biologically inspired neural models for use in intelligent robot environments.

constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2005, held in Airth Castle, Scotland, UK in July 2005. The papers in this book deal with automatic programming, constraint satisfaction, diagnosis, machine learning, search, planning, reasoning, game playing, and more.

Based on two international workshops on trust in agent societies, held at AAMAS 2003 and AAMAS 2004, this book draws together carefully revised papers on trust, reputation, and security in agent society.

Constitutes the proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005. This book contains topics addressing semantics of languages; relationships between formalisms; complexity and expressive power; software engineering, decision making, and other domains; and more.

13 revised full papers, 9 revised short papers, and 12 extended abstracts are presented together with 2 keynote papers and 2 tutorial papers.

This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL 2006, held in Turku, Finland in August 2006. The book presents 72 revised full papers together with 1 invited talk and the extended abstracts of 2 invited keynote addresses.

TheInternationalConferenceonMachineLearningandDataMining(MLDM)is the third meeting in a series of biennial events, which started in 1999, organized by the Institute of Computer Vision and Applied Computer Sciences (IBaI) in Leipzig. The 33 papers in these proceedings cover a wide variety of topics related to machine learning and data mining.

Peer-to-peer (P2P) computing is currently attracting enormous public attention, spurred by the popularity of file-sharing systems such as Napster, Gnutella, and Morpheus. In P2P systems a very large number of autonomous computing nodes, the peers, rely on each other for services. P2P networks are emerging as a new distributed computing paradigm because of their potential to harness the computing power of the hosts composing the network, and because they make their underutilized resources available to each other.This book brings together three especially commissioned invited articles, an introduction, and revised versions of the papers presented at the 1st International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2002, held in Bologna, Italy in July 2002. The book is organized into topical sections on peer-to-peer services, discovery and delivery of trustworthy services, and search and cooperation in peer-to-peer agent systems.

The papers are organized in topical sections on agents, constraints and optimization, user concerns, decision support, models and ontologies, machine learning, ontology manipulation, natural language processing, and applications.

The workshop series on Text, Speech and Dialogue originated in 1998 with the ?rst TSD1998 held in Brno, Czech Republic.

Cognitive Technology: Instruments of Mind Cognitive Technology is the study of the impact of technology on human cog- tion, the externalization of technology from the human mind, and the pragmatics of tools.

Dedicated to Jan Zytkow

This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents' mental states, synthesizing agents initially and modelling.

This text constitutes the proceedings of the 1st Asia-Pacific Conference on Web Intelligence (WI 2001). The text offers 28 full and 48 short papers, an introductory survey and six invited presentations covering topics such as Web information and Web-based applications.

This book is the result of the workshop "Deception, Fraud, and Trust in Agent Societies", held in Barcelona on June 4, 2000 as part of the Autonomous Agents 2000 Conference, and organized by Rino Falcone, Munindar Singh, and Yao-Hua Tan.

This volume constitutes the joint post-proceedings of five international workshops organized by the Japanese Society of Artificial Intelligence in 2001. It has sections on social intelligence design, agent-based approaches in economic and complex social systems, rough set theory and more.

These are the refereed proceedings of the Third International Conference PorTAL 2002 - Portugal for Natural Language Processing, held in Faro, Portugal, in June 2002.

These workshops on "Agent Theories, Architectures, and L- guages" have established themselves as a tradition, and play the role of small but internationally well-known conferences on the subject, where besides theory per se also integration of theory and practice is in focus.

This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.

This book constitutes the refereed proceedings of the First International Conference on Case-Based Reasoning, ICCBR-95, held in Sesimbra, Portugal, in October 1995. The 52 revised papers included are classified as scientific papers , application papers , and posters .

This volume includes revised final versions of the best papers presented at the fourth European Workshop on Natural Language Generation, EWNLG '93, held in Pisa, Italy in April 1993.

This carefully arranged book is mainly based on work done by the Intelligent Systems Research Group at BT Laboratories, essentially in cooperation with internationally leading scientists from outside BT. The final section outlines the broader context in dealing with machine intelligence in general and intelligent software systems in particular.

The author presents in detail the mathematical and comnputational background of the algorithms and statistical models used and develops algorithms enabling the exploitation of prosodic information on various levels of speech understanding, such as syntax, semantics, dialog, and translation.

This volume presents 18 full papers, four invited contributions and an introductory survey. The papers cover relevant logical aspects of computational linguistics like logical inference, grammars, logical semantics, natural language processing, formal proofs, logic programming and type theory.

This book presents the thoroughly refereed post-workshop proceedings of an International Workshop on Gesture and Sign Language in Human-Computer Interaction held in Bielefeld, Germany, in 1997.

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions;

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997. The 10 revised full papers presented were carefully selected during two rounds of reviewing.

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi.