A Complete Semantic Back Chaining Proof System.

Xumin Nie David A. Plaisted

Published in: CADE (1990)

Keyphrases

natural language
semantic information
high level
semantic annotation
neural network
semantic knowledge
semantic analysis
modal logic
domain independent
semantic web
genetic algorithm
information retrieval
higher level
domain specific
low level
semantic similarity
real time
semantically meaningful
semantic level