BlenX Static and Dynamic Semantics.
Corrado PriamiPaola QuagliaAlessandro RomanelPublished in: CONCUR (2009)
Keyphrases
- formal semantics
- logic programming
- model theoretic
- nonmonotonic logics
- computer vision
- machine learning
- social networks
- image sequences
- multiscale
- artificial neural networks
- artificial intelligence
- semantic information
- deductive databases
- conceptual graphs
- semantic representation
- active rules
- operational semantics
- data mining
- real time