Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Model elimination

Model Elimination is the name attached to a pair of proof procedures invented by Donald W. Loveland, the first of which was published in 1968 in the… Expand
Wikipedia

Papers overview

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
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
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
  • figure 1
  • table 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
 
Is this relevant?
1997
1997
Abstract We demonstrate that theorem provers using model elimination (ME) can be used as answer-complete interpreters for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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 pro­cedure is presented. By exploiting fully the ability… Expand
Is this relevant?