The practicality of generating semantic trees for proofs of unsatisfiability.
Mohammed AlmullaMonroe M. NewbornPublished in: Int. J. Comput. Math. (1996)
Keyphrases
- semantic web
- decision trees
- theorem prover
- high level
- semantic information
- semantic similarity
- semantic representation
- semantic knowledge
- semantic search
- information extraction
- tree structure
- low level features
- tree structures
- formal proof
- natural language
- tree nodes
- tree construction
- semantic description
- generation process
- semantic features
- semantic analysis
- theorem proving
- neural network
- semantic network
- semantic annotation
- domain specific