Keyphrases
- multi modal
- logic programming
- classical logic
- logical framework
- formal semantics
- linear logic
- fuzzy set theory
- logical language
- medical images
- theorem prover
- neural network
- fuzzy numbers
- argumentation semantics
- interval valued
- model theoretic
- reasoning tasks
- conceptual graphs
- database
- semantic information
- object oriented
- multimedia
- metadata
- data sets