Login / Signup

Disjunction and modular goal-directed proof search.

Matthew Stone
Published in: ACM Trans. Comput. Log. (2005)
Keyphrases
  • goal directed
  • proof search
  • theorem prover
  • linear logic
  • theorem proving
  • inference rules
  • proof planning
  • search procedure
  • autonomous robots
  • proof procedure
  • real time
  • sequent calculus
  • search algorithm
  • fixed point