Login / Signup
Dialogues for proof search.
Jesse Alama
Published in:
CoRR (2014)
Keyphrases
</>
proof search
theorem prover
theorem proving
linear logic
inference rules
proof planning
search procedure
proof procedure
sequent calculus
first order logic
neural network
genetic algorithm
search algorithm
tabu search
speech acts
cut elimination