Keyphrases
- logic programming
- multi valued
- databases
- mathematical model
- numerical solution
- predicate logic
- computational properties
- information retrieval
- differential equations
- nonmonotonic logics
- sound and complete axiomatization
- data sets
- deductive reasoning
- proof theory
- asynchronous circuits
- set theory
- classical logic
- logical framework
- probabilistic logic
- linear equations
- linear systems
- website
- image processing
- genetic algorithm