Login / Signup
Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions.
Steve Winker
Published in:
J. ACM (1982)
Keyphrases
</>
open questions
theorem prover
formal proof
first order logic
probabilistic model
prior knowledge
active learning
theorem proving
future directions
real world
search space
evolutionary algorithm
query answering
regular expressions
automated reasoning
automated theorem proving