Ambivalent Logic as the Semantic Basis of Metalogic Programming.
Yuejun JiangPublished in: ICLP (1994)
Keyphrases
- programming language
- semantic web
- natural language
- logical representation
- semantic annotation
- semantic representation
- semantic knowledge
- multi valued
- natural language understanding
- semantic analysis
- model checking
- neural network
- predicate logic
- computational properties
- abductive reasoning
- semantically related
- proof theory
- concurrent programming
- programming course
- computer programming
- semantic features
- context dependent
- semantic network
- semantic similarity
- modal logic
- domain ontology
- domain specific