Correction to "Approximate Reasoning About the Semantic Effects of Program Changes".
Mark MoriconiTimothy C. WinklerPublished in: IEEE Trans. Software Eng. (1991)
Keyphrases
- semantically equivalent
- spatial reasoning
- semantic search
- semantic information
- machine learning
- semantic web
- high level
- natural language
- semantic knowledge
- semantically meaningful
- semantic description
- logical representation
- error correction
- semantic features
- computer programs
- semantic interpretation
- qualitative reasoning
- practical reasoning
- distortion correction
- positive effects
- semantically related
- information systems
- database
- domain ontology
- relational databases