Continuation semantics for multi-quantifier sentences: operation-based approaches.

Justyna Grudzinska Marek W. Zawadowski

Published in: CoRR (2016)

Keyphrases

strengths and weaknesses
learning algorithm
decision trees
rough sets
semantic information
model checking