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)

Semantic Scholar uses AI to extract papers important to this topic.

Review

2012

Review

2012

- Predrag Janicic, REASONING IN SERBIA, Predrag Janicic
- 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

- Richard J. Boulton, Joe Hurd, Konrad Slind
- Journal of Automated Reasoning
- 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

- Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
- Journal of Automated Reasoning
- 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

- Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
- Journal of Automated Reasoning
- 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

- John K. Slaney
- Journal of Automated Reasoning
- 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

- Jürgen Dix, Mauricio Osorio, Claudia Zepeda Cortés
- Ann. Pure Appl. Logic
- 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

- Dolph Ulrich
- Journal of Automated Reasoning
- 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

- Francis Jeffry Pelletier
- Journal of Automated Reasoning
- 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

- Bruce D. Ramsey
- SIGP
- 1986

A recent paper published in the Journal of Automated Reasoning, No. 1, 1985, described ways to apply automatic theorem-proving… (More)

Is this relevant?