On Skolemization in constructive theories.

Matthias Baaz Rosalie Iemhoff

Published in: J. Symb. Log. (2008)

Keyphrases

cognitive psychology
theoretical framework
machine learning
design theory
data sets
neural network
data mining
knowledge base
computational model
defeasible logic