A Semantic Characterisation of the Correctness of a Proof Net.
Christian RetoréPublished in: Math. Struct. Comput. Sci. (1997)
Keyphrases
- provably correct
- semantic similarity
- semantic information
- domain specific
- semantic relationships
- semantic analysis
- semantic annotation
- high level
- neural network
- database systems
- natural language understanding
- domain ontology
- semantic description
- theorem prover
- semantic search
- semantically equivalent
- semantic knowledge
- semantic interpretation
- database
- semantic web technologies
- semantic web
- co occurrence
- website
- artificial intelligence
- information retrieval
- databases