A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code.
Amy P. FeltyPublished in: RTA (2005)
Keyphrases
- semantic similarity
- databases
- semantic network
- semantic annotation
- linear logic
- semantic knowledge
- semantic analysis
- context dependent
- theorem proving
- semantic information
- domain specific
- domain independent
- domain ontology
- theorem prover
- semantic web
- higher level
- semantic concepts
- semantic relationships
- semantic search
- semantically related
- neural network