Login / Signup
Dialogues for proof search.
Jesse Alama
Published in:
ARQNL@IJCAR (2014)
Keyphrases
</>
proof search
linear logic
theorem proving
inference rules
theorem prover
proof planning
search procedure
sequent calculus
proof procedure
first order logic
cut elimination
neural network
object oriented
fixed point
modal logic
automated reasoning