Keyphrases
- verification method
- logic programming
- modal logic
- multi valued
- belief nets
- model checking
- classical logic
- computational properties
- delay insensitive
- proof theory
- predicate logic
- set theory
- defeasible logic
- deep learning
- automated reasoning
- real time
- evolutionary algorithm
- image sequences
- deductive reasoning
- learning algorithm