Keyphrases
- explicit feedback
- neural network
- classical logic
- explicit knowledge
- explicit or implicit
- logic programming
- artificial intelligence
- asynchronous circuits
- epistemic logic
- computational properties
- linear temporal logic
- delay insensitive
- abductive reasoning
- formal theory
- predicate logic
- formal language
- digital circuits
- real time
- modal logic
- domain knowledge
- video sequences
- e learning
- decision making
- databases
- data sets