Skolemization for Substructural Logics.

Petr Cintula Denisa Diaconescu George Metcalfe

Published in: LPAR (2015)

Keyphrases

propositional calculus
expressive power
modal logic
data mining
data sets
learning algorithm
relational databases
databases
artificial intelligence
feature selection
data structure
information technology
special case
inference rules
default logic
classical logic