17 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.AI2013
Utility-Based Abstraction and Categorization
Eric J. Horvitz, Adrian Klein
We take a utility-based approach to categorization. We construct generalizations about events and actions by considering losses associated with failing to distinguish among detaile…
cs.AI2013★ 17 cited
Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources
Eric J. Horvitz, Adrian Klein
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…