Keyphrases
- integrated circuit
- logic circuits
- chip design
- building blocks
- classical logic
- epistemic logic
- sound and complete axiomatization
- artificial intelligence
- functional programs
- test cases
- user friendly
- computer programs
- data sets
- program execution
- asynchronous circuits
- automated reasoning
- declarative semantics
- bayesian networks
- search engine
- databases