CC(X): Semantic Combination of Congruence Closure with Solvable Theories.
Sylvain ConchonEvelyne ContejeanJohannes KanigStéphane LescuyerPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- special case
- information systems
- natural language
- np hard
- domain independent
- semantic web technologies
- np complete
- semantic knowledge
- semantic search
- domain ontology
- semantic features
- combining multiple
- semantic network
- semantically related
- data sets
- semantically meaningful
- semantic similarity
- low level features
- visual features
- semantic web
- case study
- learning algorithm