Product Description

The present book is a festschrift in honor of Luigia Carlucci Aiello.

The 18 articles included are written by former students, friends, and international colleagues, who have cooperated with Luigia Carlucci Aiello, scientifically or in AI boards or committees. The contributions by reputed researchers span a wide range of AI topics and reflect the breadth and depth of Aiello's own work.

Product Description
Presents the capabilities of machine learning methods and ideas on how these methods could be used to solve real-world problems. Softcover. ... Read more

Product Description

The revised papers presented in this book are drawn from two meetings devoted to the Semantic Web and the legal domain: The International Workshop on Legal Ontologies and Web-Based Legal Information Management held in Edinburgh, UK in June 2003, and the International Seminar on Law and the Semantic Web, held in Barcelona, Spain in November 2003.

This book presents 15 thoroughly refereed revised papers on topics relevant for law and the Semantic Web. The book is structured into three parts. Part I sets the scene by introducing the relevant concepts, describing some of the users (legal professionals), and putting into historical context how legal professionals think about the use and application of law. Part II presents theoretical aspects related to the construction of legal ontologies, both from a legal and a methodological point of view. Part III collects descriptions of various applications of Semantic Web technology to the legal domain.

Product Description
The authors present a systematic development of the concurrent object-oriented agent programming language Guarded Definite Clauses (GDC). In contrast to other languages used in agent programming, like Java, Telescript, and Agent-TCL, this language is derived from the artificial intelligence programming tradition and emphasizes AI applications. The first part of the book is devoted to the principled evolution of the paradigm GDC; during the course of this evolution, the reader can also learn a lot about the history and the dramatically changing fortune, booms, and busts, of AI. In the second part, the paradigm is evaluated for application in various fields including parallel distributed search, distributed constraint solving, meta-interpretation, partial evaluation, and robotics and multi-agent systems. The book is written for students and professionals in agent programming or in AI programming in general. ... Read more

Customer Reviews (1)

A Classic 'Logic-based' AI programming book!
Ringwood and Huntbach were my professors in graduate school. They taught us a course titled Multi Agent Systems. Much of the areas covered in those lectures find their way in this superb account on AI programming.

The first few chapters are accessible to readers without a strong AI background. The material gets more involving as we go through the book.

Interestingly, the book develops the idea of 'agent-oriented' programming chronologically from the the days preceeding the Fifth generation project to present day multi-agent technologies.

I would highly recommend the book to all AI students, researchers and practitioners. ... Read more

Product Description

This book presents 10 chapters on various aspects of intelligent information agents contributed by members of the respective AgentLink special interest group.

The papers are organized in three parts on agent-based information systems, adaptive information agents, and coordination of information agents. Also included are a comprehensive introduction and surveys for each of the three parts.

Product Description
This monograph presents a comprehensive state-of-the-art survey on approaches to the design of intelligent agents. On the theoretical side, the author identifies a set of general requirements for autonomous interacting agents and provides an essential step towards understanding the principles of intelligent agents. On the practical side, the novel agent architecture InteRRaP is introduced: the detailed description and evaluation of this architecture is an ideal guideline and case study for software engineers or researchers faced with the task of building an agent system. The book uniquely bridges the gap between theory and practice; it addresses active and novice researchers as well as practitioners interested in applicable agent technology. ... Read more

Product Description
This book is based on the workshop on New Approaches to Learning for Natural Language Processing, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95, in Montreal, Canada in August 1995. Most of the 32 papers included in the book are revised selected workshop presentations; some papers were individually solicited from members of the workshop program committee to give the book an overall completeness. Also included, and written with the novice reader in mind, is a comprehensive introductory survey by the volume editors. The volume presents the state of the art in the most promising current approaches to learning for NLP and is thus compulsory reading for researchers in the field or for anyone applying the new techniques to challenging real-world NLP problems. ... Read more

Product Description

Self-organisation, self-regulation, self-repair, and self-maintenance are promising conceptual approaches to deal with the ever increasing complexity of distributed interacting software and information handling systems. Self-organising applications are able to dynamically change their functionality and structure without direct user intervention to respond to changes in requirements and the environment.

This book comprises revised and extended papers presented at the International Workshop on Engineering Self-Organising Applications, ESOA 2004, held in New York, NY, USA in July 2004 at AAMAS as well as invited papers from leading researchers. The papers are organized in topical sections on state of the art, synthesis and design methods, self-assembly and robots, stigmergy and related topics, and industrial applications.

Product Description

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.

Product Description

This book constitutes the refereed proceedings of the 16th International Conference on Algorithmic Learning Theory, ALT 2005, held in Singapore in October 2005.

The 30 revised full papers presented together with 5 invited papers and an introduction by the editors were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on kernel-based learning, bayesian and statistical models, PAC-learning, query-learning, inductive inference, language learning, learning and logic, learning from expert advice, online learning, defensive forecasting, and teaching.

Product Description
Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device.
This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for ... Read more

Product Description
After the advent of data mining and its successful application on conventional data, Web-related information has been an appropriate and increasingly popular target of knowledge discovery. Depending on whether the data used in the knowledge discovery process concerns the Web itself in terms of content or the usage of the content, one distinguishes between Web content mining and Web usage mining. This book is the first one entirely devoted to Web usage mining. It originates from the WEBKDD'99 Workshop held during the 1999 KDD Conference. The ten revised full papers presented together with an introductory survey by the volume editors documents the state of the art in this exciting new area. The book presents topical sections on Modeling the User, Discovering Rules and Patterns of Navigation, and Measuring interestingness in Web Usage Mining. ... Read more

Product Description

This book constitutes the thoroughly refereed postproceedings of the Joint International Workshop on Multi-Agent and Multi-Agent-Based Simulation, MABS 2004, held in New York, NY, USA in July 2004.

The 20 revised full papers presented have gone through two rounds of reviewing, selection, and improvement; they present state-of-the-art research results in agent-based simulation and modeling. The papers are organized in topical sections on simulation of multi-agent systems, techniques and technologies, methodology and modeling, social dynamics, and application.

Product Description

The question, how to combine probability and logic with learning, is getting an increased attention in several disciplines such as knowledge representation, reasoning about uncertainty, data mining, and machine learning simulateously. This results in the newly emerging subfield known under the names of statistical relational learning and probabilistic inductive logic programming.

This book provides an introduction to the field with an emphasis on the methods based on logic programming principles. It is concerned with formalisms and systems, implementations and applications, as well as with the theory of probabilistic inductive logic programming.

The 13 chapters of this state-of-the-art survey start with an introduction to probabilistic inductive logic programming; moreover the book presents a detailed overview of the most important probabilistic logic learning formalisms and systems such as relational sequence learning techniques, using kernels with logical representations, Markov logic, the PRISM system, CLP(BN), Bayesian logic programs, and the independent choice logic. The third part provides a detailed account of some show-case applications of probabilistic inductive logic programming. The final part touches upon some theoretical investigations and includes chapters on behavioural comparison of probabilistic logic programming representations and a model-theoretic expressivity analysis.

Product Description

This two-volume set constitutes a state-of-the-art survey in the field of speaker classification, addressing many critical questions. The twenty-two articles of the second volume cover a number of areas, including gender recognition systems, emotion recognition, text-dependent speaker verification systems, an analysis of both speaker and verbal content information, and accent identification.

Product Description
As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as artificial intelligence, computational logic, and programming languages various relational and functional ingredients and techniques have been tried for the synthesis of declarative programs. This text considers the notions of relations, as found in logic programming or in relational databases, and of functions, as found in functional programming or in equational languages. We study a declarative integration which is tight, because it takes place right at the level of these notions, and which is still practical, because it preserves the advantages of the widely used relational and functional languages PROLOG and LISP. The resulting relational and functional language, RELFUN, is used here for exemplifying all integration principles. ... Read more

Product Description

In just few years, case-based reasoning has evolved from a research topic studied at a small number of specialized academic labs into an industrial-strength technology applied in various fields. The INRECA methodology presented in detail in this monograph provides a data analysis framework for developing case-based reasoning solutions for successful applications in real-world industrial contexts.

The book is divided into parts on:

- smarter business with case-based decision support- developing case-based applications using the INRECA methodology; and- using the methodology in various application domains.

The book provides a self-contained introduction to case-based reasoning applications that address both R&D professionals and general IT managers interested in this powerful new technology.

In this second edition, improvements and updates have been incorporated throughout thetext. Particularly useful is the systematic coverage of sample factory applications at various steps; and, of course, the references have been extended substantially. ... Read more

Product Description
This book evaluates the challenges that agent-based electronic commerce faces as well as the opportunities that agent technology offers for conducting business electronically. This book originates from a workshop held during IJCAI 1999. Besides revised refereed workshop papers, several contributions by leading experts were solicited in order to provide complete and competent coverage of all relevant aspects. ... Read more

Product Description

This book constitutes the refereed proceedings of the 17th Annual Conference on Learning Theory, COLT 2004, held in Banff, Canada in July 2004.

Product Description

The semantic Web offers new opportunities for information processes. This book is devoted to the core issue of data integration at the semantic level and demonstrates the applicability of the techniques developed to spatio-temporal representation and reasoning and geographic information systems.