The International Conference on Case-Based Reasoning (ICCBR) is the pre-eminent international meeting on case-based reasoning (CBR). ICCBR 2007 (http: //www.iccbr.org./iccbr07/) was the seventh in this series, presenting the most significant contributions in the field of CBR. The conference took place in Belfast, Northern Ireland, UK, during August 13-16, 2007. ICCBR and its sister conferences ECCBR (European Conference on Case-Based Reasoning) alternate every year. ICCBR 2007 followed a series of six successful international conferences previously held in Sesimbra, Portugal (1995);...

This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany in October 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: complexity, data base theory, logic programming, artificial intelligence and temporal logic.

This volume contains all the papers presented at the Ninth International Con- rence on Algorithmic Learning Theory (ALT'98), held at the European education centre Europ]aisches Bildungszentrum (ebz) Otzenhausen, Germany, October 8{ 10, 1998. The Conference was sponsored by the Japanese Society for Arti cial Intelligence (JSAI) and the University of Kaiserslautern. Thirty-four papers on all aspects of algorithmic learning theory and related areas were submitted, all electronically. Twenty-six papers were accepted by the program committee based on originality, quality, and relevance to the...

This book presents case-based reasoning in a systematic approach with two goals: to present rigorous and formally valid structures for precise case-based reasoning, and to demonstrate the range of techniques, methods, and tools available for many applications.