Login / Signup
The Logic of Exact Covers: Completeness and Uniform Interpolation.
Dirk Pattinson
Published in:
LICS (2013)
Keyphrases
</>
multi valued
modal logic
logic programming
predicate logic
image interpolation
linear array
linear interpolation
sparse sampling
database
classical logic
brute force
data quality
multi agent systems
case study
website
artificial intelligence
data mining
neural network