Meronymy Extraction Using An Automated Theorem Prover.
Tim vor der BrückHermann HelbigPublished in: J. Lang. Technol. Comput. Linguistics (2010)
Keyphrases
- theorem prover
- theorem proving
- first order logic
- automated theorem proving
- term rewriting
- inference rules
- automated reasoning
- higher order logic
- formal proof
- computer algebra
- automated deduction
- semi automated
- natural deduction
- formal semantics
- mathematical knowledge
- automatic extraction
- information extraction
- boolean algebra
- decision trees
- proof search
- timed automata
- data model
- evolutionary algorithm
- genetic algorithm