Login / Signup
On Strongly First-Order Dependencies.
Pietro Galliani
Published in:
CoRR (2014)
Keyphrases
</>
higher order
first order logic
stochastic dominance
dependency analysis
quantifier elimination
data mining
machine learning
genetic algorithm
dependency graph
linear temporal logic
inductive logic programming systems
website
image sequences
horn clauses
probabilistic logic
universally quantified