Michael M. Richter - Böcker

Signal Processing and Machine Learning with Applications presents methods that are used to perform various Machine Learning and Artificial Intelligence tasks in conjunction with their applications.

Adaptivity and learning have in recent decades become a common concern of scientific disciplines. These issues have arisen in mathematics, physics, biology, informatics, economics, and other fields more or less simultaneously. The aim of this publication is the interdisciplinary discourse on the phenomenon of learning and adaptivity. Different perspectives are presented and compared to find fruitful concepts for the disciplines involved. The authors select problems showing representative traits concerning the frame up, the methods and the achievements rather than to present extended overviews.

Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 "Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Frühjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrößert die thematische Vielfalt des bereits Verfügbaren um neuartige Einführungen in LISP und PROLOG, sowie ausführliche Beiträge über Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.

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.

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.

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 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, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.

The workshop Computer Science Logic '90 was held at theMax-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL'89 at the University of Kaiserslautern (see LNCS 440), CSL'88 at the University of Duisberg (see LNCS 385), and CSL'87 at the University of Karlsruhe (see LNCS 329). Thisvolume contains 24 papers, chosen by means of a reviewprocedure from the 35 papers presented at the workshop, someof which were invited and some selected from a total of 89submissions. The papers cover a wide range of topics arisingfrom the applications of logic to computer science.

This volume presents the proceedings of an internationalworkshop on the processing of declarative knowledge. Theworkshop was organized and hosted by the German ResearchCenter for Artificial Intelligence (DFKI) in cooperationwith the Association for Logic Programming (ALP) and theGesellschaft fr Informatik (GI). Knowledge is often represented using definite clauses,rules, constraints, functions, conceptual graphs, andrelated formalisms. The workshop addressed such high-levelrepresentations and their efficient implementation requiredfor declarative knowledge bases. Many of the papers treatrepresentation methods, mainly concept languages, and manytreat implementation methods, such as transformationtechniques and WAM-like abstract machines. Several papersdescribe implemented knowledge-processing systems. Thecompetition between procedural and declarative paradigms wasdiscussed in a panel session, and position statements of thepanelists are included in the volume.

This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne,Switzerland, October 7-11, 1991. This was the fifth in aseries of annual workshops on computer sciencelogic (thefirst four are recorded in LNCS volumes 329, 385, 440, and533). The volume contains 33 invited and selected papers on avariety of logical topics in computer science, includingabstract datatypes, bounded theories, complexity results,cut elimination, denotational semantics, infinitary queries,Kleene algebra with recursion, minimal proofs, normal formsin infinite-valued logic, ordinal processes, persistentPetri nets, plausibility logic, program synthesis systems,quantifier hierarchies, semantics of modularization, stablelogic, term rewriting systems, termination of logicprograms, transitive closure logic, variants of resolution,and many others.

This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa, Italy, inSeptember/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Conference of the EuropeanAssociation for Computer Science Logic (EACSL). Fullversions of the workshop contributions were collected aftertheir presentation and reviewed. On the basis of 58 reviews,26 papers were selected for publication, and appear here inrevised final form. Topics covered in the volume include: Turing machines,linear logic, logic of proofs, optimization problems, lambdacalculus, fixpoint logic, NP-completeness, resolution,transition system semantics, higher order partial functions,evolving algebras, functional logic programming, inductivedefinability, semantics of C, classes for a functionallanguage, NP-optimization problems, theory of types andnames, sconing and relators, 3-satisfiability, Kleene'sslash, negation-complete logic programs, polynomial-timeoracle machines, and monadic second-order properties.

This volume presents a selection of 42 refereed and revised contributions (includ- ing some invited lectures) which were presented at the 17th Annual Conference of the "Gesellschaft fur Klassifikation e. V." (GfKl), the German Classification Society. This conference was held at the University of Kaiserslautern from March 3 - 5, 1993 and jointly hosted by the Research Center for Mathematical Logic of the Heidelberg Academy for the Humanities and Sciences, the University of Kaiserslautern, and the German Research Center for Artificial Intelligence (DFKI GmbH). The local orga- nization was performed by Michael M. Richter, Wolfgang Lenski, Sabine Friedrich, Annette Klein, and Elisabeth Wette-Roch of the Computer Science Department of the University of Kaiserslautern and the Research Center for Mathematical Logic of the Heidelberg Academy for the Humanities and Sciences, respectively. The mem- bers of the Scientific Program Committee were Hans-Hermann Bock, PaulO. Degens, Matthias Herfurth, Hans-Joachim Hermes, Rudiger Klar, Rudolf Mathar, Michael M. Richter, and Rudolf Wille.

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.

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.

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); Providence, Rhode Island, USA (1997); Seeon, Germany (1999); Vancouver, Canada (2001); Trondheim, Norway (2003); and C- cago, Illinois, USA (2005). The European Conferences on Case-Based Reasoning (ECCBR) were held as European workshops in Kaiserslautern, Germany (1993); Chantilly, France (1994); Lausanne, Switzerland (1996); Dublin, Ireland (1998); and Trento, Italy (2000); and as European conferences in Aberdeen, UK (2002); Madrid, Spain (2004); and Lykia World, Turkey (2006). Days one, two, and four comprised presentations and posters on theoretical and - plied CBR research. In order to emphasize the importance of applications, the tra- tional industry day was converted into an Industry Program held on the second day, in the middle of the conference. Day three was devoted to five workshops: Case-Based Reasoning and Context-Awareness; Case-Based Reasoning in the Health Sciences; Textual Case-Based Reasoning: Beyond Retrieval; Uncertainty and Fuzziness in Case- Based Reasoning; and Knowledge Discovery and Similarity.

Adaptivity and learning have in recent decades become a common concern of scientific disciplines. These issues have arisen in mathematics, physics, biology, informatics, economics, and other fields more or less simultaneously. The aim of this publication is the interdisciplinary discourse on the phenomenon of learning and adaptivity. Different perspectives are presented and compared to find fruitful concepts for the disciplines involved. The authors select problems showing representative traits concerning the frame up, the methods and the achievements rather than to present extended overviews.

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.

In the chapters in Part I the authors present the basic elements of CBR without assuming prior reader knowledge; and Part IV shows the range of knowledge sources, with chapters on textual CBR, im­ages, sensor data and speech, conversational CBR, and knowledge management.