Keyphrases
- website
- modal logic
- classical logic
- genetic algorithm
- predicate logic
- neural network
- delay insensitive
- logic programming
- asynchronous circuits
- epistemic logic
- sound and complete axiomatization
- databases
- dynamic logic
- multi valued
- automated reasoning
- probability theory
- artificial neural networks
- artificial intelligence
- machine learning