A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
Giorgio LeviCatuscia PalamidessiPier Giorgio BoscoElio GiovannettiCorrado MoisoPublished in: SLP (1987)
Keyphrases
- natural language
- formal language
- programming language
- semantic representations
- dynamic logic
- multi valued
- context dependent
- semantically equivalent
- proof theory
- semantic web
- formal theory
- semantic structure
- functional programs
- predicate calculus
- natural language understanding
- agent programming
- language learning
- semantic constraints
- high level
- highly expressive
- intuitionistic logic
- linear temporal logic
- functional language
- logic programming
- operational semantics
- semantic knowledge
- conceptual graphs
- semantic analysis
- semantic network
- semantic annotation
- semantic information
- abductive reasoning
- predicate logic
- classical logic
- logical representation
- rule engine
- logic synthesis