2649 search results - page 258 / 530 » Temporal Theories of Reasoning |
151
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
158
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
207
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
160
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...
151
Voted
KI
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....