Finding Missing Proofs with Automated Reasoning.
Branden FitelsonLarry WosPublished in: Stud Logica (2001)
Keyphrases
- automated reasoning
- theorem prover
- theorem proving
- decision procedures
- reasoning systems
- knowledge representation
- probabilistic reasoning
- reasoning tasks
- automated verification
- first order logic
- inference rules
- knowledge representation and reasoning
- artificial intelligence
- missing data
- distributed systems
- state space
- propositional satisfiability
- valued logic