Michael M. Richter

Proceedings of the Logic Colloquium Held in Aachen, July 18-23, 1983, Part II

Computation and Proof Theory

Rosina O. Weber

The refereed proceedings of the 7th International Conference on Case-Based Reasoning are presented in this volume. Fifteen full research papers and eighteen poster papers are presented along with three invited talks. The papers address all aspects of case-based reasoning, featuring original theoretical research, applied research, and applications with practical, social, environmental, and economic significance.

7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast Northern Ireland, UK, August 13-16, 2007 Proceedings

Case-Based Reasoning Research and Development

Hans-Hermann Bock

Wolfgang Lenski

Proceedings of the 17th Annual Conference of the Gesellschaft für Klassifikation e.V., University of Kaiserslautern, March 3 - 5, 1993

Prospects — Foundations — Applications

Information Systems and Data Analysis

Thomas Zeugmann

Carl H. Smith

Rolf Wiehagen

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 theory of machine learning. Additionally, three invited talks presented by Akira Maruoka of Tohoku University, Arun Sharma of the University of New South Wales, and Stefan Wrobel from GMD, respectively, were featured at the conference. We would like to express our sincere gratitude to our invited speakers for sharing with us their insights on new and exciting developments in their areas of research. This conference is the ninth in a series of annual meetings established in 1990. The ALT series focuses on all areas related to algorithmic learning theory including (but not limited to): the theory of machine learning, the design and analysis of learning algorithms, computational logic of/for machine discovery, inductive inference of recursive functions and recursively enumerable languages, learning via queries, learning by arti cial and biological neural networks, pattern recognition, learning by analogy, statistical learning, Bayesian/MDL estimation, inductive logic programming, robotics, application of learning to databases, and gene analyses.

9th International Conference, ALT’98, Otzenhausen, Germany, October 8–10, 1998 Proceedings

Algorithmic Learning Theory

Benjamin Benninghofen

Susanne Kemmerich

Systems of Reductions

Egon Börger

Hans Kleine Büning

This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic. A broad class of questions became visible which is of a basically logical nature. These questions are often related to some of the traditional disciplines of Logic but normally without being covered adequately by any of them. The novel and unifying aspect of this new branch of Logic is the algorithmic point of view which is based on experiences people had with computers. The aim of the "Computer-Science Logic" workshop and of this volume is to represent the richness of research activities in this field in the German-speaking countries and to point to their underlying general logical principles.

1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

CSL '87

This book constitutes the refereed proceedings of the 9th International Conference on Algorithmic Learning Theory, ALT'98, held in Otzenhausen, Germany, in October 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 34 submissions. Also included are three invited papers and an introduction by the volume editors. The papers are organized in sections on inductive logic programming and data mining, inductive inference, learning via queries, prediction algorithms, inductive logic programming, learning formal languages, and miscellaneous.

9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings

This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. 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: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

CSL'88

Ulrich Ratsch

Ion-Olimpiu Stamatescu

Cognition and artificial intelligence are entering a new era in which the aspects of symbolic manipulation and of connectionism begin to come together. This leads to a dialog of truly interdisciplinary character. The book covers aspects of fuzzy logic, case based reasoning, learning as well as meaning, language, and consciousness. The authors of this topical volume have their background in logic, computer science, physics and mathematics, philosophy, psychology and neurobiology.

An Interdisciplinary Debate

Intelligence and Artificial Intelligence

Michael M. Richter

Books

Your next favorite book is out there