A proof-search method for the first-order logic.

Andrei Voronkov

Published in: Conference on Computer Logic (1988)

Keyphrases

first order logic
inference rules
theorem prover
expressive power
search procedure
probabilistic model
inductive logic programming
theorem proving