Semantic Generalizations for Proving and Disproving Conjectures by Analogy.
Gilles DéfourneauxChristophe BourelyNicolas PeltierPublished in: J. Autom. Reason. (1998)
Keyphrases
- natural language
- semantic knowledge
- semantically rich
- high level
- semantic similarity
- semantic description
- information extraction
- domain specific
- semantic web
- semantic level
- semantic representation
- natural language understanding
- semantically meaningful
- semantic interpretation
- semantic annotation
- statistical mechanics
- semantically equivalent
- semantic search
- theorem prover
- machine learning
- semantic information
- higher level
- co occurrence
- case based reasoning
- domain knowledge
- digital libraries
- video sequences
- information systems