Half Reification and Flattening.

Thibaut Feydy Zoltan Somogyi Peter J. Stuckey

Published in: CP (2011)

Keyphrases

expressive power
meta level
data sets
temporal reasoning
databases
search engine
web services
case study
high level
formal semantics