Subsumption Algorithms for Three-Valued Geometric Resolution.
Hans de NivellePublished in: IJCAR (2016)
Keyphrases
- computational efficiency
- description logics
- computationally efficient
- theoretical analysis
- recently developed
- data sets
- data structure
- computationally expensive
- genetic algorithm
- learning algorithm
- knowledge base
- computational complexity
- np complete
- orders of magnitude
- combinatorial optimization
- computational geometry