A Heuristic Proof Procedure for First-Order Logic.

Published in: CoRR (2017)

Keyphrases

proof procedure
first order logic
theorem proving
propositional logic
expressive power
predicate calculus
inference rules
probabilistic reasoning
knowledge representation
theorem prover
horn clauses
inductive logic programming
optimal solution
formal semantics
search algorithm
data exchange
tabu search
lower bound