Sciweavers

1914 search results - page 168 / 383
» Abstract lambda-Calculus Machines
Sort
View
COLT
2004
Springer
14 years 1 months ago
Reinforcement Learning for Average Reward Zero-Sum Games
Abstract. We consider Reinforcement Learning for average reward zerosum stochastic games. We present and analyze two algorithms. The first is based on relative Q-learning and the ...
Shie Mannor
ECAI
2004
Springer
14 years 1 months ago
Compilation of LTL Goal Formulas into PDDL
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
Stephen Cresswell, Alexandra M. Coddington
ECML
2004
Springer
14 years 1 months ago
Learning from Message Pairs for Automatic Email Answering
Abstract. We consider the problem of learning a mapping from question to answer messages. The training data for this problem consist of pairs of messages that have been received an...
Steffen Bickel, Tobias Scheffer
ECML
2004
Springer
14 years 1 months ago
An Analysis of Stopping and Filtering Criteria for Rule Learning
Abstract. In this paper, we investigate the properties of commonly used prepruning heuristics for rule learning by visualizing them in PN-space. PN-space is a variant of ROC-space,...
Johannes Fürnkranz, Peter A. Flach
ICTAC
2004
Springer
14 years 1 months ago
Duration Calculus: A Real-Time Semantic for B
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
Samuel Colin, Georges Mariano, Vincent Poirriez