Parsing/Theorem-Proving for Logical Grammar CatLog3.
Glyn MorrillPublished in: J. Log. Lang. Inf. (2019)
Keyphrases
- theorem proving
- context free grammars
- predicate calculus
- natural language parsing
- natural language
- word order
- context free
- wide coverage
- stochastic context free grammars
- parse tree
- phrase structure
- first order logic
- theorem prover
- graph grammars
- grammar induction
- decision procedures
- term rewriting
- automated reasoning
- tree bank
- automated deduction
- inference rules
- parallel search
- proof procedure
- natural language sentences
- automatic programming
- natural language processing
- automated theorem proving
- consequence finding
- logical inference
- geometry theorem proving
- natural deduction
- distributed search
- combinatorial search
- model theoretic
- logical framework
- dependency parsing
- probabilistic context free grammars
- machine learning
- dependency structure
- proof search
- timed automata
- belief revision
- wordnet