Keyphrases
- partial information
- incomplete information
- expressive power
- modal logic
- grammatical inference
- context free grammars
- natural language processing
- visual languages
- nonmonotonic logics
- context free
- tree grammars
- propositional dynamic logic
- tree bank
- proof theory
- inference rules
- natural language
- grammar rules
- finite state automata
- grammar induction
- classical logic
- learning algorithm
- machine learning