Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks.

Matthew Morgenstern

Browse the full AAAI paper archive.