Computability of Algebraic and Definable Closure.

Nathanael L. Ackerman Cameron E. Freer Rehana Patel

Published in: LFCS (2020)

Keyphrases

first order logic
machine learning
database systems
answer sets
databases
artificial intelligence
information systems
three dimensional
multiscale
multiresolution
higher order
expressive power
situation calculus
transitive closure
algebraic structure