Computing Cost Estimates for Proof Strategies.

Knut Hinkelmann Helge Hintze

Published in: ELP (1993)

Keyphrases

active learning strategies
high cost
cost effectiveness
theorem prover
minimum cost
cost reduction
cost sensitive
theorem proving
total cost
linear logic
accurate estimation
databases
estimation error
multi class
query processing
database systems
machine learning