859 search results - page 108 / 172 » Abduction in Temporal Reasoning |
ICML
1995
IEEE
14 years 11 months ago
1995
IEEE
The success ofreinforcement learninginpractical problems depends on the ability to combine function approximation with temporal di erence methods such as value iteration. Experime...
TPHOL
2005
IEEE
14 years 3 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
AGENTCL
2003
Springer
14 years 3 months ago
2003
Springer
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches have considered the semantics of commitments and how to check compliance with th...
DSVIS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Much attention has been paid in HCI to techniques for designing systems that conform to the tasks users wish to carry out. It is often the case that such approaches rely ...
ESANN
2000
13 years 11 months ago
2000
Abstract. For a network of spiking neurons with reasonable postsynaptic potentials, we derive a supervised learning rule akin to traditional error-back-propagation, SpikeProp and s...