Keyphrases
- logic programming
- semantic information
- real time
- neural network
- machine learning
- multiscale
- formal semantics
- update semantics
- database
- argumentation semantics
- proof theory
- model theoretic
- nonmonotonic logics
- specification language
- conceptual model
- object oriented
- search algorithm
- multi agent
- information systems
- search engine
- data sets