A Semantic Approach to Prolog Program Analysis.
Brian J. RossPublished in: ICLP Workshop on Construction of Logic Programs (1991)
Keyphrases
- semantically equivalent
- semantic knowledge
- semantic level
- semantic information
- knowledge base
- high level
- natural language
- knowledge representation
- logic programming
- expert systems
- linguistic analysis
- semantic concepts
- natural language understanding
- semantically rich
- semantic annotation
- semantic web
- low level
- abstract machine
- information retrieval
- semantic search
- semantic features
- context dependent
- theorem proving
- semantic network
- domain specific
- information systems
- artificial intelligence