Login / Signup
Proof Search (Tutorial).
Roy Dyckhoff
Natarajan Shankar
Published in:
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Keyphrases
</>
proof search
theorem prover
linear logic
theorem proving
inference rules
proof planning
search procedure
sequent calculus
proof procedure
simulated annealing
neural network
objective function
first order logic
satisfiability problem