120 search results - page 6 / 24 » Reasoning about temporal properties of rational play |
GISCIENCE
2004
Springer
15 years 3 months ago
2004
Springer
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...
ALIFE
2004
14 years 10 months ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
During the last years, argumentation has been gaining increasing interest in modeling different reasoning tasks of an agent. Many recent works have acknowledged the importance of ...
MPC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
114
click to vote
FTRTFT
1992
Springer
15 years 2 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...