Keyphrases
- computer algebra
- formal logic
- artificial intelligence
- logic programming
- modal logic
- classical logic
- multi valued
- asynchronous circuits
- predicate logic
- computer science
- machine learning
- digital circuits
- bayesian networks
- data sets
- theorem prover
- inference rules
- defeasible logic
- set theory
- multi agent
- e learning
- word problems
- genetic algorithm