Klein, Adrian C.

2 publications

UAI 1995 Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving Under Limited Resources Eric Horvitz, Adrian C. Klein

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