WorldCat Identities

Richter, Michael M. 1938-

Overview
Works: 111 works in 330 publications in 3 languages and 4,814 library holdings
Genres: Conference proceedings 
Roles: Editor, Honoree, Creator
Classifications: QA76.76.E95, 006.33
Publication Timeline
Key
Publications about  Michael M Richter Publications about Michael M Richter
Publications by  Michael M Richter Publications by Michael M Richter
Most widely held works about Michael M Richter
 
Most widely held works by Michael M Richter
Case-based reasoning research and development 7th International Conference on Case-Based Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13-16, 2007 : proceedings by International Conference on Case-Based 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 1-3, 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 high-level 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 WAM-like abstract machines. Several papers describe implemented knowledge-processing 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 case-based reasoning : first European workshop, EWCBR '93, Kaiserslautern, Germany, November 1-5, 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 Case-Based Reasoning, held at Kaiserslautern, Germany in November 1993. Case-based 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 2-6, 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 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."--PUBLISHER'S WEBSITE
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 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 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."--Publisher's website
Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 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 12-16, 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 "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
Case-based 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. Case-based reasoning (CBR) can be viewed as experience mining, with analogical reasoning applied to problem-solution 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 well-established, 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 18-23, 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 knowledge-based systems research and development essentially employs two paradigms of reasoning. There are on the one hand the logic-based 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 logic-based and approximation-oriented approaches in knowledge processing
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 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 18-23, 1983 by Logic Colloquium ( Book )
in English and held by 80 WorldCat member libraries worldwide
Ideale Punkte, Monaden und Nichtstandard-Methoden 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 7-11, 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 infinite-valued 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 1-5, 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 Max-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). 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.37 for Prinzipien ... to 0.86 for CSL '89 : ...)
Alternative Names
Richter, M.
Richter, M. M.
Richter, M. M. 1938-
Richter, M. M. (Michael M.), 1938-
Richter, Michael
Richter, Michael M.
Languages
English (184)
German (17)
Italian (3)
Covers