414 search results - page 20 / 83 » Inheritance of Temporal Logic Properties |
AIEDAM
1999
13 years 9 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
AOSE
2005
Springer
14 years 3 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
TIME
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...
IJCAI
2003
13 years 11 months ago
2003
A default conditional α → β has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional. That is, the intui...
TCS
2008
13 years 9 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...