![]() | ![]() |
1995 | ||
---|---|---|
2 | EE | Eric Horvitz, Adrian Klein: Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources. UAI 1995: 306-314 |
1993 | ||
1 | EE | Eric Horvitz, Adrian Klein: Utility-Based Abstraction and Categorization. UAI 1993: 128-135 |
1 | Eric Horvitz | [1] [2] |