Keyphrases
- proof search
- theorem prover
- proof planning
- linear logic
- theorem proving
- inference rules
- search procedure
- sequent calculus
- bayesian networks
- belief revision
- np complete
- fixed point
- modal logic
- neural network
- graphical models
- probability distribution
- causal models
- conditional independence
- expert systems
- artificial intelligence