en.unionpedia.org

Handbook of Automated Reasoning, the Glossary

Index Handbook of Automated Reasoning

The Handbook of Automated Reasoning (2128 pages) is a collection of survey articles on the field of automated reasoning.[1]

Table of Contents

  1. 25 relations: Alan Bundy, Andrei Voronkov, Automated reasoning, Classical logic, David Plaisted, Diego Calvanese, Dov Gabbay, Edmund M. Clarke, First-order logic, Frank Pfenning, Franz Baader, Giuseppe De Giacomo, Harald Ganzinger, Henk Barendregt, Higher-order logic, Inductive reasoning, John Alan Robinson, Martin Davis (mathematician), Maurizio Lenzerini, MIT Press, Nachum Dershowitz, Peter B. Andrews, Review article, Tanel Tammet, Wayne Snyder.

  2. Automated reasoning
  3. Logic books

Alan Bundy

Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh,http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.

See Handbook of Automated Reasoning and Alan Bundy

Andrei Voronkov

Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.

See Handbook of Automated Reasoning and Andrei Voronkov

Automated reasoning

In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning.

See Handbook of Automated Reasoning and Automated reasoning

Classical logic

Classical logic (or standard logic) or Frege–Russell logic is the intensively studied and most widely used class of deductive logic.

See Handbook of Automated Reasoning and Classical logic

David Plaisted

David Alan Plaisted is a computer science professor at the University of North Carolina at Chapel Hill.

See Handbook of Automated Reasoning and David Plaisted

Diego Calvanese

Diego Calvanese is an Italian computer scientist and professor at the faculty of computer science at the Free University of Bozen-Bolzano.

See Handbook of Automated Reasoning and Diego Calvanese

Dov Gabbay

Dov M. Gabbay (born October 26, 1945) is an Israeli logician.

See Handbook of Automated Reasoning and Dov Gabbay

Edmund M. Clarke

Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.

See Handbook of Automated Reasoning and Edmund M. Clarke

First-order logic

First-order logic—also called predicate logic, predicate calculus, quantificational logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

See Handbook of Automated Reasoning and First-order logic

Frank Pfenning

Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and head of the Computer Science Department at Carnegie Mellon University.

See Handbook of Automated Reasoning and Frank Pfenning

Franz Baader

Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology.

See Handbook of Automated Reasoning and Franz Baader

Giuseppe De Giacomo

Giuseppe De Giacomo (born 8 August 1965) is an Italian computer scientist.

See Handbook of Automated Reasoning and Giuseppe De Giacomo

Harald Ganzinger

Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic.

See Handbook of Automated Reasoning and Harald Ganzinger

Henk Barendregt

Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory.

See Handbook of Automated Reasoning and Henk Barendregt

Higher-order logic

In mathematics and logic, a higher-order logic (abbreviated HOL) is a form of logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics.

See Handbook of Automated Reasoning and Higher-order logic

Inductive reasoning

Inductive reasoning is any of various methods of reasoning in which broad generalizations or principles are derived from a body of observations.

See Handbook of Automated Reasoning and Inductive reasoning

John Alan Robinson

John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist.

See Handbook of Automated Reasoning and John Alan Robinson

Martin Davis (mathematician)

Martin David Davis (March 8, 1928 – January 1, 2023) was an American mathematician and computer scientist who contributed to the fields of computability theory and mathematical logic.

See Handbook of Automated Reasoning and Martin Davis (mathematician)

Maurizio Lenzerini

Maurizio Lenzerini (born 14 December 1954) is an Italian professor of computer science and engineering at the Sapienza University of Rome (Dipartimento di Ingegneria Informatica Automatica e Gestionale Antonio Ruberti), where he specializes in database theory, Ontology language, Knowledge Representation and Reasoning as well as service modeling.

See Handbook of Automated Reasoning and Maurizio Lenzerini

MIT Press

The MIT Press is a university press affiliated with the Massachusetts Institute of Technology (MIT) in Cambridge, Massachusetts.

See Handbook of Automated Reasoning and MIT Press

Nachum Dershowitz

Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems.

See Handbook of Automated Reasoning and Nachum Dershowitz

Peter B. Andrews

Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics, Emeritus at Carnegie Mellon University in Pittsburgh, Pennsylvania, and the creator of the mathematical logic Q0.

See Handbook of Automated Reasoning and Peter B. Andrews

Review article

A review article is an article that summarizes the current state of understanding on a topic within a certain discipline.

See Handbook of Automated Reasoning and Review article

Tanel Tammet

Tanel Tammet is an Estonian computer scientist, professor, software engineer, and computer programmer.

See Handbook of Automated Reasoning and Tanel Tammet

Wayne Snyder

Wayne Snyder is an associate professor at Boston University known for his work in E-unification theory.

See Handbook of Automated Reasoning and Wayne Snyder

See also

Automated reasoning

Logic books

References

[1] https://en.wikipedia.org/wiki/Handbook_of_Automated_Reasoning