Towards Elimination of Second-Order Quantifiers in the Separated Fragment.

Published in: SOQE (2017)

Keyphrases

higher order
high order
natural language
first order logic
database
genetic algorithm
expert systems
probability distribution