Sciweavers

1588 search results - page 209 / 318
» Modular action language
Sort
View
175
Voted
ICML
2004
IEEE
16 years 7 months ago
Bellman goes relational
Motivated by the interest in relational reinforcement learning, we introduce a novel relational Bellman update operator called ReBel. It employs a constraint logic programming lan...
Kristian Kersting, Martijn Van Otterlo, Luc De Rae...
LICS
2006
IEEE
16 years 1 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
177
Voted
AIED
2005
Springer
16 years 17 days ago
Positive and negative verbal feedback for Intelligent Tutoring Systems
Abstract. We built three different versions of an ITS on a letter pattern extrapolation task: in one version, students only receive color-coded feedback; in the second, they receiv...
Barbara Di Eugenio, Xin Lu, Trina C. Kershaw, Andr...
CMSB
2004
Springer
16 years 12 days ago
Projective Brane Calculus
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
Vincent Danos, Sylvain Pradalier
PERVASIVE
2004
Springer
16 years 11 days ago
Ubiquitous Chip: A Rule-Based I/O Control Device for Ubiquitous Computing
In this paper, we propose a new framework for ubiquitous computing by rule-based, event-driven I/O (input/output) control devices. Our approach is flexible and autonomous because ...
Tsutomu Terada, Masahiko Tsukamoto, Keisuke Hayaka...