Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- natural language
- default logic
- multi document summarization
- conditional logic
- classical logic
- epistemic logic
- nonmonotonic logics
- autoepistemic logic
- prime implicates
- dynamic logic
- social bookmarking
- sentence level
- text summarization
- nonmonotonic reasoning
- situation calculus
- higher order
- training data
- machine learning