Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison

Published in: CoRR (2012)

Keyphrases

goal oriented
data sets
databases
decision trees
high quality
situation calculus
image processing
pairwise
management system