Keyphrases
- decision procedures
- context free grammars
- modal logic
- theorem proving
- automated reasoning
- grammatical inference
- context free languages
- context free
- conjunctive queries
- satisfiability problem
- regular expressions
- production rules
- predicate invention
- tree adjoining
- databases
- covering arrays
- inference rules
- xml schema
- business intelligence
- graphical models
- artificial intelligence