Keyphrases
- asynchronous circuits
- delay insensitive
- modal logic
- logic programming
- dynamic logic
- computational properties
- real time
- classical logic
- proof theory
- abductive reasoning
- digital circuits
- knowledge base
- data sets
- multi valued
- automated reasoning
- predicate logic
- artificial intelligence
- learning algorithm
- state machine
- information retrieval
- neural network
- state machines