1256 search results - page 83 / 252 » Learning to Reason |
DELFI
2007
13 years 11 months ago
2007
: This paper presents the results of a study on notetaking in university courses and derives implications for the design of electronic notetaking and annotation systems in eLearnin...
ACL
2006
13 years 11 months ago
2006
This paper investigates a machine learning approach for temporally ordering and anchoring events in natural language texts. To address data sparseness, we used temporal reasoning ...
UAI
2000
13 years 11 months ago
2000
Cooperative games are those in which both agents share the same payoff structure. Valuebased reinforcement-learning algorithms, such as variants of Q-learning, have been applied t...
IJCAI
1989
13 years 11 months ago
1989
This paper is a study on the process of evolution of a novice to an expert in a diagnostic context. In er, we have chosen an abstract example of a diagnostic problem. The results ...
APLAS
2010
ACM
13 years 10 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...