An overview of automated reasoning and related fields

L. Wos*, Fernando Pereira, Robert Hong, Robert S. Boyer, J. Strother Moore, W. W. Bledsoe, Lawrence Joseph Henschen, Bruce G. Buchanan, Graham Wrightson, Cordell Green

*Corresponding author for this work

Research output: Contribution to journalReview articlepeer-review

5 Scopus citations


This article provides an overview of automated reasoning and of the various fields for which it is relevant. It takes the form of a collection of articles, each covering some field and each written by an expert in that field. A field is introduced, its elements reviewed, the current state of the art given, the basic problems discussed, and the various goals listed. Although individually the goals of each field present a wide spectrum, collectively the fields share the interest of automating the process known as reasoning.

Original languageEnglish (US)
Pages (from-to)5-48
Number of pages44
JournalJournal of Automated Reasoning
Issue number1
StatePublished - Mar 1985


  • AI
  • automated: reasoning/programming/theorem proving
  • computational logic
  • error correction
  • induction, inference rules
  • intelligent robot
  • knowledge representation
  • knowledge-based software
  • logic programming
  • multisensor integration and fusion
  • object-oriented reasoning
  • predicate calculus, program: synthesis/verification
  • robotics, strategy
  • verification, very high level languages

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'An overview of automated reasoning and related fields'. Together they form a unique fingerprint.

Cite this