Doubly Strongly First Order Dependencies.

Pietro Galliani

Published in: WoLLIC (2021)

Keyphrases

higher order
first order logic
dependency analysis
dependency graphs
neural network
data dependencies
quantifier elimination
multi agent
stochastic dominance
real time
databases
knowledge base
search algorithm
hidden markov models
universal relation