414 search results - page 20 / 83 » Inheritance of Temporal Logic Properties |
151
Voted
AIEDAM
1999
15 years 3 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...
133
Voted
AOSE
2005
Springer
15 years 9 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...
125
click to vote
TIME
2006
IEEE
15 years 9 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...
110
Voted
IJCAI
2003
15 years 4 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...
131
Voted
TCS
2008
15 years 3 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...