Partial Instantiation Methods for Inference in First Order

  • LogicJ. N. Hooker, G. Ragoy V. Chandruz A. ShrivastavaxDecember
  • Published 2000
Satissability algorithms for propositional logic have improved enormously in recently years. This increases the attractiveness of satissability methods for rst order logic that reduce the problem to a series of ground-level satissability problems. R. Jeroslow introduced a partial instantiation method of this kind that diiers radically from the standard… CONTINUE READING