Keyphrases
- modal logic
- logic programming
- bayesian networks
- multi valued
- classical logic
- data mining
- search algorithm
- asynchronous circuits
- sound and complete axiomatization
- real time
- delay insensitive
- proof theory
- commonsense reasoning
- abductive reasoning
- computational properties
- logic programs
- programming language
- artificial neural networks
- data structure
- information retrieval
- databases