Time-dependent utility and action under uncertainty
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Computation and action under bounded resources
Computation and action under bounded resources
Anytime deduction for probabilistic logic
Artificial Intelligence
Solving time-dependent planning problems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Reflection and action under scarce resources: theoretical principles and empirical study
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Provably bounded optimal agents
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Rationality and its roles in reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
A new method for solving hard satisfiability problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Hard and easy distributions of SAT problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
A bayesian approach to tackling hard computational problems
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
Algorithm portfolio design: theory vs. practice
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
| Hi-index | 0.00 |
In earlier work, we introduced flexible inference and decision-theoretic metareasoning to address the intractability of normative inference. Here, rather than pursuing the task of computing beliefs and actions with decision models composed of distinctions about uncertain events, we examine methods for inferring beliefs about mathematical truth before an automated theorem prover completes a proof. We employ a Bayesian analysis to update belief in truth, given theorem-proving progress, and show how decision-theoretic methods can be used to determine the value of continuing to deliberate versus taking immediate action in time-critical situations.