An example of goal-directed proof.

Roland Backhouse Walter Guttmann Michael Winter

Published in: CoRR (2023)

Keyphrases

goal directed
autonomous robots
automated planning
theorem prover
linear logic
theorem proving
automated theorem proving
mathematical proofs
computer vision
proof planning
natural deduction
first order logic
mobile robot
evolutionary algorithm
three dimensional
knowledge base
decision making