Kripke submodels and universal sentences.
Ben EllisonJonathan FleischmannDan McGinnWim RuitenburgPublished in: Math. Log. Q. (2007)
Keyphrases
- desirable properties
- natural language
- modal logic
- inference rules
- model checking
- temporal logic
- human generated
- inter annotator agreement
- sentence level
- multi document summarization
- genetic algorithm
- neural network
- syntactic analysis
- turing machine
- data sets
- co occurrence
- case study
- feature selection
- search engine
- natural language sentences
- kolmogorov complexity