Declarative encodings of acyclicity properties.

Martin Gebser Tomi Janhunen Jussi Rintanen

Published in: J. Log. Comput. (2020)

Keyphrases

data exchange
data sets
state space
structural properties
desirable properties
database
information retrieval
knowledge base
database systems
reinforcement learning
lower bound
domain independent