Accelerating Tableaux Proofs Using Compact Representations.
Klaus SchneiderRamayya KumarThomas KropfPublished in: Formal Methods Syst. Des. (1994)
Keyphrases
- compact representations
- decision procedures
- theorem proving
- modal logic
- automated reasoning
- formal proofs
- equational theories
- formal proof
- theorem prover
- mathematical proofs
- functional dependencies
- computer programs
- probabilistic inference
- first order logic
- graphical models
- proof procedure
- probability distribution
- dynamic programming
- expert systems
- database