Solving for Set Variables in Higher-Order Theorem Proving.

Published in: CADE (2002)

Keyphrases

theorem proving
higher order
first order logic
conditional probabilities
inference rules
distributed search
expert systems
predicate calculus
combinatorial search
parallel search
training data
theorem prover
automatic programming