Proving Ground Completeness of Resolution by Proof Planning (1997)

by Manfred Kerber , Arthur Christian Sehn
Citations:2 - 1 self

Documents Related by Co-Citation

1748 Strips: A New Approach to the Application of Theorem Proving to Problem Solving – R E Fikes, N J Nilsson - 1971
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
531 A Computational' Logic – R S Boyer, J S Moore - 1979
769 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
395 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
384 Incremental constraint satisfaction in logic programming – Pascal Van Hentenryck - 1989
379 Generating project networks – Austin Tate - 1977
61 Guiding inductive proofs – D Hutter - 1990
303 The CLP(R) language and system – J Jaffar, S Michaylow, P Stuckey, R Yap - 1992