An Algorithm for Resolution of Common Logic (Edition 2) Importation Implemented in OntoMaven.
Tara AthanRalph SchäfermeierAdrian PaschkePublished in: WoMO@FOIS (2014)
Keyphrases
- dynamic programming
- improved algorithm
- theoretical analysis
- worst case
- objective function
- cost function
- learning algorithm
- significant improvement
- multiresolution
- preprocessing
- classification algorithm
- computationally efficient
- computational complexity
- optimization algorithm
- detection algorithm
- hardware implementation
- single pass
- k means
- np hard
- estimation algorithm