Keyphrases
- logic programming
- sound and complete axiomatization
- classical logic
- knowledge base
- multi valued
- multi agent systems
- relational databases
- modal logic
- data sets
- multiscale
- artificial neural networks
- belief revision
- data structure
- inference engine
- automated reasoning
- social networks
- set theory
- predicate logic
- asynchronous circuits
- proof theory
- rule engine
- neural network