Goal Directed Strategies for Paramodulation.

Wayne Snyder Christopher Lynch

Published in: RTA (1991)

Keyphrases

goal directed
autonomous robots
automated planning
database
information retrieval
first order logic
inference rules
real time
neural network
machine learning
feature selection
decision making
game theory
selection strategies