Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

2013

2013

The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an… Expand

Is this relevant?

Highly Cited

2006

Highly Cited

2006

Darwin is the first implementation of the Model Evolution Calculus by Baumgartner and Tinelli. The Model Evolution Calculus lifts… Expand

Is this relevant?

2001

2001

Key concerns in the development of more powerful ATP systems are to provide breadth of coverage – an ability to solve a large… Expand

Is this relevant?

Highly Cited

2001

1997

1997

Abstract We demonstrate that theorem provers using model elimination (ME) can be used as answer-complete interpreters for… Expand

Is this relevant?

1995

1995

In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers… Expand

Is this relevant?

1994

1994

We investigate the effects of different types of translations of first-order formulas to clausal form on minimal proof length. We… Expand

Is this relevant?

Highly Cited

1992

Highly Cited

1992

Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control… Expand

Is this relevant?

Highly Cited

1991

Highly Cited

1991

A 66 dm3 trickle-bed bioreactor was constructed to assess the possibilities of eliminating dichloromethane from industrial waste… Expand

Is this relevant?

Highly Cited

1969

Highly Cited

1969

An alternate approach to the formulation of the Model Elimination proof procedure is presented. By exploiting fully the ability… Expand

Is this relevant?