Login / Signup
Disjunction and modular goal-directed proof search
Matthew Stone
Published in:
CoRR (2001)
Keyphrases
</>
goal directed
proof search
theorem prover
theorem proving
linear logic
inference rules
proof planning
search procedure
autonomous robots
sequent calculus
proof procedure
automated reasoning
cut elimination
neural network
first order logic
logical framework
bayesian networks
genetic algorithm