Utility-Based Abstraction and Categorization. - Eric Horvitz; Adrian C. Klein (UAI, 1993)

Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources. - Eric Horvitz; Adrian C. Klein (UAI, 1995)