Universal Quantification in a Constraint-Based Planner.

Keith Golden Jeremy Frank

Published in: AIPS (2002)

Keyphrases

universal quantification
domain independent
heuristic search
propositional logic
quantified boolean formulae
constraint satisfaction
universally quantified
database
logic programming
relational calculus
query processing
expressive power
incomplete information