Static semantic analysis and theorem proving for CASL.
Till Mossakowski KolyangBernd Krieg-BrücknerPublished in: WADT (1997)
Keyphrases
- semantic analysis
- theorem proving
- natural language processing
- first order logic
- natural language understanding
- semantic information
- theorem prover
- parallel search
- natural language
- inference rules
- decision procedures
- automated deduction
- term rewriting
- automatic programming
- proof planning
- automated reasoning
- proof procedure
- automated theorem proving
- consequence finding
- logical inference
- geometry theorem proving
- combinatorial search
- syntactic analysis
- syntactic parsing
- decision trees
- co occurrence