Keyphrases
- logic programming
- multi valued
- conceptual framework
- information systems
- real time
- automated reasoning
- classical logic
- modal logic
- first order logic
- embodied cognition
- delay insensitive
- formal theory
- predicate logic
- set theory
- knowledge representation
- search algorithm
- multiscale
- similarity measure
- database systems
- social networks
- artificial intelligence