Deciding Clause Classes by Semantic Clash Resolution.
Alexander LeitschPublished in: Fundam. Informaticae (1993)
Keyphrases
- semantic classes
- natural language
- clause learning
- machine learning
- low resolution
- semantically rich
- semantically meaningful
- semantic annotation
- context dependent
- consequence finding
- unit propagation
- natural language understanding
- semantic representation
- semantic knowledge
- semantic search
- semantic network
- semantic similarity
- semantic information
- class labels
- super resolution
- domain specific
- high resolution
- search space