Localizing Quantifiers for DQBF.

Aile Ge-Ernst Christoph Scholl Ralf Wimmer

Published in: FMCAD (2019)

Keyphrases

first order logic
natural language
machine learning
artificial intelligence
data mining
bayesian networks
knowledge representation
inference rules
model checking