Kategoria BISAC: Computers >> Artificial Intelligence - General

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. Besides workshop papers, several contributions from leading researchers in this interdisciplinary field were solicited to complete coverage of all relevant topics.

The 13 papers presented take into account issues from multiagent systems, artificial intelligence, cognitive science, game theory, and social and organizational science. Theoretical topics are addressed as well as...

This book constitutes the refereed proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005, held in Koblenz, Germany, in September 2005.

The 18 revised research papers presented together with 7 system descriptions as well as 4 invited talks were carefully reviewed and selected from 46 submissions. All aspects of the mechanization of reasoning with tableaux and related methods are focused: analytic tableaux for various logics, related techniques and concepts, new calculi and methods for theorem proving in classical...

Peer-to-peer (P2P) computing is attracting enormous media attention, spurred by the popularity of file sharing systems such as Napster, Gnutella, and Morpheus. The peers are autonomous, or as some call them, first-class citizens. P2P networks are emerging as a new distributed computing paradigm for their potential to harness the computing power of the hosts composing the network and make their under-utilized resources available to others. Although researchers working on distributed computing, multiagent systems, databases and networks have been using similar concepts for a long time, it is...

This book constitutes the thoroughly refereed post-proceedings of the Second Workshop on Intelligent Techniques in Web Personalization, ITWP 2003, held in Acapulco, Mexico in August 2003 as part of IJCAI 2003, the 18th International Joint Conference on Artificial Intelligence.

The 17 revised full papers presented were carefully selected and include extended versions of some of the papers presented at the ITWP 2003 workshop as well as a number of invited chapters by leading researchers in the field of Intelligent Techniques for Web Personalization. The papers are organized in topical...

This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, held in Montego Bay, Jamaica in December 2005.

The 46 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 108 full paper submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems.

The 17 systems included in this volume are among the most relevant ones for the formalization of mathematics. The systems are showcased by presentation of the formalized proof and a description in the form of answers to a standard questionnaire. The 17 systems presented are HOL, Mizar,...

This book constitutes the refereed proceedings of the 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, held in Covilha, Portugal in December 2005 as nine integrated workshops.

The 58 revised full papers presented were carefully reviewed and selected from a total of 167 submissions. In accordance with the nine constituting workshops, the papers are organized in topical sections on general artificial intelligence (GAIW 2005), affective computing (AC 2005), artificial life and evolutionary algorithms (ALEA 2005), building and applying ontologies for the semantic Web (BAOSW...

This book constitutes the refereed proceedings of the 8th European Conference on Case-Based Reasoning, ECCBR 2004, held in Fethiye, Turkey in September 2006. The book presents 31 revised full papers and 5 revised application papers together with 2 invited papers and 2 abstracts of invited talks. The coverage represents snapshot of current current issues in case-based reasoning, ranging from theoretical and methodological issues to advanced applications in various fields.

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical knowledge management at the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.

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. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.

Ambient Intelligence refers to smart electronic environments that are sensitive and responsive to the presence of people. Since its introduction in the late 1990s, this vision has matured, having become quite influential in the development of new concepts for information processing as well as combining multi-disciplinary fields including computer science, electrical engineering, industrial design, architectural design, user interfaces, and cognitive science.

Originating from the Workshop on Ambient Intelligence in Everyday Life held at the Miramar Congress Center, San Sebastian,...