The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
Bernhard BeckertReiner HähnlePeter H. SchmittPublished in: Kurt Gödel Colloquium (1993)
Keyphrases
- semantic web
- rule sets
- semantic level
- natural language understanding
- semantic representation
- semantic network
- semantic annotation
- semantic information
- natural language
- domain independent
- semantic similarity
- semantic interpretation
- domain ontology
- data sets
- constraint satisfaction problems
- production rules
- semantic concepts
- semantic content
- semantic knowledge
- domain specific
- image retrieval