A Tableaux Method for Systematic Simultaneous Search for Refutationas and Models Using Equational Problems.
Ricardo CaferraPublished in: J. Log. Comput. (1993)
Keyphrases
- high accuracy
- search methods
- prior knowledge
- cost function
- search procedure
- statistical model
- significant improvement
- dynamic programming
- autoregressive
- detection method
- optimization problems
- exhaustive search
- probabilistic model
- computational cost
- modeling method
- monte carlo simulation
- numerical methods
- neural network
- search strategy
- clustering method
- parameter estimation
- feature set
- web search
- search space
- preprocessing