1614 search results - page 28 / 323 » Planning as Temporal Reasoning |
115
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
Traditional approaches to temporal reasoning assume that time periods and time spans of events can be accurately represented as intervals. Real
124
Voted
JAIR
2000
15 years 1 months ago
2000
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
149
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
123
Voted
KR
1998
Springer
15 years 6 months ago
1998
Springer
105
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...