Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System.
T. L. LakshmanUday S. ReddyPublished in: ISLP (1991)
Keyphrases
- semantically equivalent
- three dimensional
- semantic knowledge
- knowledge representation
- artificial intelligence
- higher order
- programming language
- image reconstruction
- high resolution
- natural language
- domain specific
- logic programming
- domain ontology
- semantic analysis
- semantic features
- semantic similarity
- semantically rich
- semantically related
- compressive sensing
- semantic search
- semantic information
- natural language processing