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
 Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday by Wolfgang Lenski( )
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
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 13, 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 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
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 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
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 37, 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 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
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 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
Topics in casebased reasoning : first European workshop, EWCBR '93, Kaiserslautern, Germany, November 15, 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 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
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 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
)
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 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
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 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 '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1216, 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 "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
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 "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
Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 810, 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
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, casebased reasoning, learning as well as meaning, language, and consciousness. The authors have backgrounds in many different disciplines
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, casebased 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 1823, 1983 by
Aachen> Logic Colloquium <1983(
Book
)
27 editions published in 1984 in English and Undetermined and held by 223 WorldCat member libraries worldwide
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 1823, 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
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 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
4 editions published in 2004 in English and held by 167 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
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
10 editions published between 1989 and 1992 in German and held by 155 WorldCat member libraries worldwide
Casebased reasoning research and development : 7th International Conference on CaseBased Reasoning, ICCBR 2007, Belfast,
Northern Ireland, UK, August 1316, 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 CaseBased Reasoning (ICCBR) is the preeminent international meeting on casebased 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 1316, 2007. ICCBR and its sister conferences ECCBR (European Conference on CaseBased 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 CaseBased 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: CaseBased Reasoning and ContextAwareness; CaseBased Reasoning in the Health Sciences; Textual CaseBased Reasoning: Beyond Retrieval; Uncertainty and Fuzziness in Case Based Reasoning; and Knowledge Discovery and Similarity
13 editions published in 2007 in English and held by 110 WorldCat member libraries worldwide
The International Conference on CaseBased Reasoning (ICCBR) is the preeminent international meeting on casebased 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 1316, 2007. ICCBR and its sister conferences ECCBR (European Conference on CaseBased 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 CaseBased 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: CaseBased Reasoning and ContextAwareness; CaseBased Reasoning in the Health Sciences; Textual CaseBased 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
3 editions published in 1978 in German and held by 105 WorldCat member libraries worldwide
Ideale Punkte, Monaden und NichtstandardMethoden by
Michael M Richter(
Book
)
9 editions published in 1982 in German and English and held by 89 WorldCat member libraries worldwide
9 editions published in 1982 in German and English and held by 89 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
)
8 editions published in 1994 in English and held by 81 WorldCat member libraries worldwide
8 editions published in 1994 in English and held by 81 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
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
CaseBased 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. 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
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. 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
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 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
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 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 between 1989 and 1991 in English and held by 28 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
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 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
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Kleine Büning, H. (Hans) Editor
 Börger, E. (Egon) 1946 Author Editor
 Weber, Rosina O. Author
 Lenski, Wolfgang 1952 Editor
 Boley, H. (Harold) Contributor Author Editor
 Wess, Stefan Other Author Editor
 Kemmerich, S. (Susanne) 1953 Arranger Author
 Benninghofen, B. (Benjamin) 1958 Author
 Stamatescu, I.O (IonOlimpiu) 1941 Editor
 Ratsch, Ulrich 1943 Author Editor
Useful Links
Associated Subjects
Algebra Algebra, UniversalData processing AlgebraData processing Algebraic logic Algorithms Analogy Artificial intelligence Artificial intelligenceData processing Casebased reasoning Cognitive science Combinatorial analysis Computable functions Computational complexity Computer algorithms Computer logic Computers Computer science Computer scienceMathematics Computer software Database management Electronic data processing Engineering Expert systems (Computer science) Fuzzy logic Fuzzy systems Inference Information technology Knowledge management Knowledge representation (Information theory) Learning models (Stochastic processes) Logic, Symbolic and mathematical Logic, Symbolic and mathematicalData processing Logic design Logic programming Machine learning Management information systems Mathematical models Model theory Neural networks (Computer science) Nonstandard mathematical analysis Operations research Physics Point processes Proof theory Reasoning Rewriting systems (Computer science) Richter, Michael M., Set theory System analysis Triples, Theory of