Finitely-Verifiable Classes of Sentences.

Published in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)

Keyphrases

natural language
multi document summarization
multiple classes
sufficient conditions
finite number
information systems
knowledge base
training data
multi class
inductive inference
linguistic features
human generated