Login / Signup
Semantically Guiding a First-Order Theorem Prover with a Soft Model.
Arnold Binas
John K. Slaney
Published in:
AAAI (2004)
Keyphrases
</>
computational model
statistical model
mathematical model
first order logic
objective function
formal model
high level
expert systems
logic programs
experimental data
theorem prover