WorldCat Identities

Richter, Michael M. 1938-

Overview
Works: 94 works in 332 publications in 3 languages and 5,396 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Honoree, Creator, Contributor, Other
Classifications: QA75.5, 006.33
Publication Timeline
.
Most widely held works about Michael M Richter
 
Most widely held works by Michael M Richter
Systems of reductions by B Benninghofen( Book )

4 editions published in 1987 in English and held by 302 WorldCat member libraries worldwide

Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings by H Boley( Book )

12 editions published in 1991 in English and Italian and held by 279 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
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings by E Börger( Book )

15 editions published in 1989 in English and Italian and held by 268 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
Topics in case-based reasoning : first European workshop, EWCBR '93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers by Stefan Wess( Book )

13 editions published in 1994 in English and held by 264 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 )

13 editions published in 1990 in English and held by 259 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 '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings by E Börger( Book )

14 editions published in 1988 in English and Italian and held by 252 WorldCat member libraries worldwide

Annotation 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
Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings by Michael M Richter( Book )

15 editions published in 1998 in English and held by 250 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
Intelligence and artificial intelligence : an interdisciplinary debate by Ulrich Ratsch( Book )

8 editions published between 1998 and 2011 in English and held by 226 WorldCat member libraries worldwide

This study of artificial intelligence brings together the ideas of symbolic manipulation and connectionism. It covers aspects of fuzzy logic, case-based reasoning, learning as well as meaning, language, and consciousness. The authors have backgrounds in many different disciplines
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 by Aachen> Logic Colloquium <1983( Book )

27 editions published in 1984 in English and Undetermined and held by 223 WorldCat member libraries worldwide

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II by E Börger( Book )

19 editions published in 1984 in English and Undetermined and held by 215 WorldCat member libraries worldwide

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday by Wolfgang Lenski( Book )

4 editions published in 2004 in English and held by 167 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
Prinzipien der künstlichen Intelligenz : Wissensrepräsentation, Inferenz und Expertensysteme ; mit zahlreichen Aufgaben by Michael M Richter( Book )

10 editions published between 1989 and 1992 in German and held by 155 WorldCat member libraries worldwide

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 Rosina O Weber( Book )

13 editions published in 2007 in English and held by 110 WorldCat member libraries worldwide

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
Logikkalküle by Michael M Richter( Book )

3 editions published in 1978 in German and held by 105 WorldCat member libraries worldwide

Ideale Punkte, Monaden und Nichtstandard-Methoden by Michael M Richter( Book )

9 editions published in 1982 in German and English and held by 89 WorldCat member libraries worldwide

Künstliche Intelligenz : theoretische Grundlagen und Anwendungsfelder : Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16. März 1986( Book )

5 editions published in 1988 in German and held by 54 WorldCat member libraries worldwide

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
Case-Based Reasoning A Textbook by Michael M Richter( Book )

10 editions published between 2013 and 2016 in English and held by 42 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
Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings by E Börger( )

4 editions published in 1992 in English and held by 40 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 between 1989 and 1991 in English and held by 28 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.72 (from 0.49 for Case-Based ... to 0.89 for Prinzipien ...)

Systems of reductions
Alternative Names
Michael M. Richter German mathematician and computer scientist

Richter, M.

Richter, M. M.

Richter, M. M. 1938-

Richter, M. M. (Michael M.), 1938-

Richter, Michael

Richter, Michael M.

Languages
English (181)

German (26)

Italian (3)

Covers
Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedingsCSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedingsTopics in case-based reasoning : first European workshop, EWCBR '93, Kaiserslautern, Germany, November 1-5, 1993 : selected papersCSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedingsCSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedingsAlgorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedingsIntelligence and artificial intelligence : an interdisciplinary debateModels and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983