Syntax and consistent equation semantics of hybrid Chi.
D. A. van BeekKa L. ManMichel A. ReniersJacobus E. RoodaRamon R. H. SchiffelersPublished in: J. Log. Algebraic Methods Program. (2006)
Keyphrases
- operational semantics
- definition language
- rule language
- predicate calculus
- formal semantics
- lexical semantics
- logic programming
- databases
- machine processable
- model theoretic
- globally optimal
- differential equations
- semantic information
- natural language
- image sequences
- data sets
- conceptual graphs
- numerical solution
- natural language processing
- semantic constraints
- feature selection