Experiments with Semantic Paramodulation.
William McCuneLawrence J. HenschenPublished in: J. Autom. Reason. (1985)
Keyphrases
- inference rules
- semantic knowledge
- natural language
- context dependent
- high level
- semantic information
- natural language understanding
- domain ontology
- domain specific
- semantic data
- probabilistic model
- domain independent
- linguistic analysis
- semantic web technologies
- semantic analysis
- semantically meaningful
- semantic description
- information retrieval
- semantically equivalent
- first order logic
- semantic web
- expert systems
- case study
- information systems