Login / Signup

Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure.

Jörg H. SiekmannGert Smolka
Published in: GWAI (1981)
Keyphrases
  • proof procedure
  • theorem proving
  • search strategies
  • search algorithm
  • first order logic
  • heuristic search
  • predicate calculus
  • proof procedures