Higher-Order Syntax and Saturation Algorithms for Hybrid Logic.
Moritz HardtGert SmolkaPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- higher order
- learning algorithm
- times faster
- computationally efficient
- lambda calculus
- recently developed
- combinatorial optimization
- orders of magnitude
- machine learning algorithms
- theoretical analysis
- natural images
- higher order logic
- convergence rate
- data sets
- data mining techniques
- optimization problems
- data model
- reinforcement learning
- multiscale
- knowledge base
- machine learning