Goal-Directed E-Unification.

Christopher Lynch Barbara Morawska

Published in: RTA (2001)

Keyphrases

goal directed
autonomous robots
automated planning
higher order
theorem proving
autonomous learning
theorem prover
equational theories
database
special case