Keyphrases
- artificial intelligence
- logic programming
- modal logic
- predicate logic
- multi valued
- hybrid genetic algorithm
- artificial neural networks
- probabilistic logic
- automated reasoning
- asynchronous circuits
- formal theory
- digital circuits
- defeasible logic
- classical logic
- database
- probability theory
- genetic programming
- expert systems
- bayesian networks
- real time