CUDL Language Semantics: Conditions.
Nikitas N. KaranikolasPublished in: J. Digit. Inf. Manag. (2009)
Keyphrases
- logical language
- intended meaning
- specification language
- logic programming language
- highly expressive
- operational semantics
- formal language
- conceptual graphs
- formal semantics
- definition language
- model theoretic
- denotational semantics
- sufficient conditions
- speech acts
- programming language
- logic programming
- dynamic logic
- action language
- conditional logic
- language learning
- language processing
- disjunctive logic programming
- modal operators
- formal languages
- proof theory
- predicate calculus
- database languages
- semantically equivalent
- natural language
- closed world
- uml class diagrams
- database systems
- database query languages
- default reasoning
- description logics
- data model