Skolem Theory and Generalized Quantifiers.

Published in: WoLLIC (2008)

Keyphrases

first order logic
database
computational model
theoretical framework
information theory
theoretical basis
databases
neural network
machine learning
web pages
knowledge base
decision trees
database systems
conceptual framework
set valued