Richter, Michael M. 1938Overview
Publication Timeline
Most widely held works about
Michael M Richter
Most widely held works by
Michael M Richter
Casebased reasoning research and development 7th International Conference on CaseBased Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 1316, 2007 : proceedings
by International Conference on CaseBased Reasoning
(
)
12 editions published in 2007 in English and held by 458 WorldCat member libraries worldwide
Systems of reductions
by B Benninghofen
(
Book
)
15 editions published in 1987 in English and Italian and held by 402 WorldCat member libraries worldwide
Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 13, 1991 : proceedings
by H Boley
(
Book
)
8 editions published in 1991 in English and held by 337 WorldCat member libraries worldwide This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such highlevel representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAMlike abstract machines. Several papers describe implemented knowledgeprocessing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume
Topics in casebased reasoning : first European workshop, EWCBR '93, Kaiserslautern, Germany, November 15, 1993 : selected papers
by Stefan Wess
(
Book
)
14 editions published in 1994 in English and held by 314 WorldCat member libraries worldwide "This volume presents the 36 full refereed papers selected from the presentations at the First European Workshop on CaseBased Reasoning, held at Kaiserslautern, Germany in November 1993. Casebased reasoning (CBR) has recently attracted much interest among AI researchers: it supports knowledge acquisition and problem solving, and it is related to machine learning, analogical reasoning, cognitive modeling, similarity, and information retrieval. EWCBR is now established as the prime European forum for CBR research. This volume reflects the importance of this dynamic area of research through essential contributions to all aspects of CBR research and advanced applications."PUBLISHER'S WEBSITE
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 26, 1989 : proceedings
by E Börger
(
Book
)
12 editions published in 1990 in English and held by 314 WorldCat member libraries worldwide "This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 26, 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."PUBLISHER'S WEBSITE
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 37, 1988 : proceedings
by E Börger
(
Book
)
14 editions published in 1989 in English and Italian and held by 304 WorldCat member libraries worldwide "This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 37, 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."Publisher's website
Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 810, 1998 : proceedings
by Michael M Richter
(
Book
)
13 editions published in 1998 in English and held by 297 WorldCat member libraries worldwide 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
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1216, 1987 : proceedings
by E Börger
(
Book
)
13 editions published in 1988 in English and Italian and held by 289 WorldCat member libraries worldwide This volume contains the papers which were presented to the workshop "ComputerScience Logic" held in Karlsruhe on October 1216, 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 "ComputerScience Logic" workshop and of this volume is to represent the richness of research activities in this field in the Germanspeaking countries and to point to their underlying general logical principles
Casebased reasoning : a textbook
by Michael M Richter
(
)
7 editions published in 2013 in English and held by 274 WorldCat member libraries worldwide While it is relatively easy to record billions of experiences in a database, the wisdom of a system is not measured by the number of its experiences but rather by its ability to make use of them. Casebased reasoning (CBR) can be viewed as experience mining, with analogical reasoning applied to problemsolution pairs. As cases are typically not identical, simple storage and recall of experiences is not sufficient, we must define and analyze similarity and adaptation. The fundamentals of the approach are now wellestablished, and there are many successful commercial applications in diverse fields, attracting interest from researchers across various disciplines
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 1823, 1983, part II
by E Börger
(
Book
)
29 editions published in 1984 in English and Undetermined and held by 264 WorldCat member libraries worldwide
Intelligence and artificial intelligence : an interdisciplinary debate
by Ulrich Ratsch
(
Book
)
9 editions published between 1998 and 2011 in English and held by 239 WorldCat member libraries worldwide 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
Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
by Wolfgang Lenski
(
Book
)
6 editions published in 2004 in English and held by 201 WorldCat member libraries worldwide Nowadays knowledgebased systems research and development essentially employs two paradigms of reasoning. There are on the one hand the logicbased approaches where logic is to be understood in a rather broad sense; usually these approaches are used in symbolic domains where numerical calculations are not the core challenge. On the other hand we find approximation oriented reasoning; methods of these kinds are mainly applied in numerical domains where approximation is part of the scientific methodology itself. However, from an abstract level all these approaches do focus on similar topics and arise on various levels such as problem modeling, inference and problem solving techniques, algorithms and mathematical methods, mathematical relations between discrete and continuous properties, and are integrated in tools and applications. In accordance with the unifying vision and research interest of Michael M. Richter and in correspondence to his scientific work, this book presents 13 revised full papers advocating the integration of logicbased and approximationoriented approaches in knowledge processing
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 1823, 1983 part I
by G. H Müller
(
Book
)
19 editions published in 1984 in English and Undetermined and held by 164 WorldCat member libraries worldwide
Prinzipien der künstlichen Intelligenz : Wissensrepräsentation, Inferenz und Expertensysteme ; mit zahlreichen Aufgaben
by Michael M Richter
(
Book
)
8 editions published between 1989 and 1992 in German and held by 131 WorldCat member libraries worldwide
Logikkalküle
by Michael M Richter
(
Book
)
5 editions published in 1978 in German and Undetermined and held by 81 WorldCat member libraries worldwide
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 1823, 1983
by Logic Colloquium
(
Book
)
in English and held by 80 WorldCat member libraries worldwide
Information systems and data analysis : prospects, foundations, applications : proceedings of the 17th annual conference of the Gesellschaft für Klassifikation e.V. University of Kaiserslautern, March 35, 1993
by Gesellschaft für Klassifikation
(
Book
)
5 editions published in 1994 in English and held by 75 WorldCat member libraries worldwide
Ideale Punkte, Monaden und NichtstandardMethoden
by Michael M Richter
(
Book
)
6 editions published in 1982 in German and English and held by 70 WorldCat member libraries worldwide
Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
by E Börger
(
)
5 editions published in 1992 in English and held by 59 WorldCat member libraries worldwide "This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 711, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinitevalued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others."PUBLISHER'S WEBSITE
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 15, 1990 : proceedings
by E Börger
(
)
4 editions published in 1991 in English and held by 58 WorldCat member libraries worldwide "The workshop Computer Science Logic '90 was held at the MaxPlanckHaus in Heidelberg, Germany, October 15, 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). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science."PUBLISHER'S WEBSITE more
fewer
Audience Level
Related Identities
Associated Subjects
Algebra Algebra, Universal Algebra, UniversalData processing AlgebraData processing Algebraic logic Algorithms Artificial intelligence Casebased reasoning Cognitive science Combinatorial analysis Computable functions Computational complexity Computer algorithms Computers Computer science Computer scienceMathematics Computer software Database management Electronic data processing Expert systems (Computer science) Fuzzy logic Fuzzy systems Information technology Knowledge management Knowledge representation (Information theory) Logic, Symbolic and mathematical Logic design Machine learning Management information systems Mathematical models Mathematics Model theory Neural networks (Computer science) Nonstandard mathematical analysis Operations research Physics Proof theory Rewriting systems (Computer science) Richter, Michael M., Set theory System analysis

Alternative Names
Richter, M.
Richter, M. M.
Richter, M. M. 1938
Richter, M. M. (Michael M.), 1938
Richter, Michael
Richter, Michael M.
Languages
Covers
