Keyphrases
- natural deduction
- higher order logic
- input output
- automated reasoning
- higher order
- theorem prover
- main memory
- formal methods
- theorem proving
- file system
- modal logic
- logic programming
- inference rules
- asynchronous circuits
- data sets
- sound and complete axiomatization
- binary decision diagrams
- conditional logic
- multi valued
- bayesian networks
- neural network
- probabilistic logic
- logical framework
- defeasible logic
- set theory
- external memory
- default reasoning
- predicate logic
- response time
- query processing
- expert systems
- proof theory