Keyphrases
- lambda calculus
- proof theory
- modal logic
- machine learning
- asynchronous circuits
- automated reasoning
- higher order
- logic programming
- set theory
- probability theory
- real time
- fixed order
- abductive reasoning
- classical logic
- probabilistic logic
- learning algorithm
- database
- logic programs
- programming language
- expert systems
- bayesian networks
- case study