Goal-directed Bottom-up Evaluation of Normal Logic Programs.

Published in: ILPS (1993)

Keyphrases

goal directed
normal logic programs
logic programs
autonomous robots
answer sets
stable models
knowledge representation and reasoning