Subsumption Algorithms for Three-Valued Geometric Resolution.
Hans de NivellePublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- computationally expensive
- computationally efficient
- significant improvement
- orders of magnitude
- learning algorithm
- combinatorial optimization
- description logics
- data structure
- knowledge representation
- worst case
- optimization problems
- low resolution
- reinforcement learning
- benchmark datasets
- decision trees
- search engine
- machine learning
- graph theory