859 search results - page 69 / 172 » Abduction in Temporal Reasoning |
112
Voted
MATES
2007
Springer
15 years 7 months ago
2007
Springer
The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s tempo...
88
Voted
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
102
click to vote
FLAIRS
2008
15 years 3 months ago
2008
Spatial or temporal reasoning is an important task for many applications in Artificial Intelligence, such as space scheduling, navigation of robots, etc. Several qualitative appro...
108
Voted
JVA
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
108
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...