Sciweavers

718 search results - page 48 / 144
» On Defaults in Action Theories
Sort
View
81
Voted
DM
1999
73views more  DM 1999»
15 years 11 days ago
Enumeration of mosaics
Mosaics are orbits of partitions arising from music theoretical investigations. Various theorems from the field of "enumeration under finite group actions" are applied f...
Harald Fripertinger
96
Voted
NIPS
2001
15 years 2 months ago
Rates of Convergence of Performance Gradient Estimates Using Function Approximation and Bias in Reinforcement Learning
We address two open theoretical questions in Policy Gradient Reinforcement Learning. The first concerns the efficacy of using function approximation to represent the state action ...
Gregory Z. Grudic, Lyle H. Ungar
96
Voted
AAAI
1997
15 years 2 months ago
Qualified Ramifications
We consider the problem of ramifications, i.e., indirect effects of actions, having exceptions. It is argued that straightforward minimization of abnormality is insufficient in th...
Michael Thielscher
CONCUR
2006
Springer
15 years 4 months ago
On Finite Alphabets and Infinite Bases III: Simulation
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...
Taolue Chen, Wan Fokkink
CLIMA
2008
15 years 2 months ago
Verifying Agents' Conformance with Multiparty Protocols
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles,...
Laura Giordano, Alberto Martelli