Journal of Automated Reasoning

The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. It covers research and advances in… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1986-2016
02419862016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
The main goals of automated reasoning are understanding different aspects of reasoning and development of algorithms and computer… (More)
Is this relevant?
Review
2009
Review
2009
Today’s increasingly computer-based society is dependent on the correctness and reliability of crucial infrastructure, such as… (More)
Is this relevant?
Review
2006
Review
2006
With improving technology, theorem proving and related methods are being successfully applied to larger problems and used in more… (More)
Is this relevant?
Review
2006
Review
2006
With improving technology, theorem proving and related methods are being successfully applied to larger problems and used in more… (More)
Is this relevant?
2002
2002
This paper reports results and some new problems in one of the domains to which automatic first-order theorem provers have been… (More)
Is this relevant?
2001
2001
Recently, Brass and Dix showed (Journal of Automated Reasoning 20(1), 1998) that the wellfounded semantics WFS can be deened as a… (More)
Is this relevant?
2001
2001
Since the first presentation of classical sentential logic as an axiomatic system by Frege in 1879, the study of a variety of… (More)
Is this relevant?
1999
1999
ion also makes use of a model of the world and can be viewed as a deliberative approach to solve reasoning tasks. As an… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
The purpose of this note is to provide a graduated selection of problems for use in testing an automatic theorem proving (ATP… (More)
Is this relevant?
1986
1986
A recent paper published in the Journal of Automated Reasoning, No. 1, 1985, described ways to apply automatic theorem-proving… (More)
  • figure 2
Is this relevant?