Optimization and Translation of Tableau-Proofs into Resolution.
Andreas WolfPublished in: J. Inf. Process. Cybern. (1994)
Keyphrases
- information retrieval systems
- global optimization
- automated theorem proving
- query translation
- description logics
- low resolution
- data sets
- discrete optimization
- optimization model
- optimization method
- optimization algorithm
- optimization problems
- high resolution
- optimization methods
- theorem proving
- constrained optimization
- cross language information retrieval
- search space
- information systems
- optimization strategies
- database
- proof search