Keyphrases
- equivalence relation
- decision diagrams
- context free
- first order logic
- natural language
- rough set theory
- grammatical inference
- higher order
- quantifier elimination
- context free grammars
- natural language processing
- visual languages
- parse selection
- optimal planning
- phrase structure
- universally quantified
- inductive logic programming systems
- horn clauses
- context sensitive
- inductive logic programming
- hidden markov models