2203 search results - page 29 / 441 » Temporal Abstract Interpretation |
109
Voted
PKDD
2004
Springer
15 years 8 months ago
2004
Springer
93
Voted
CGA
2007
15 years 3 months ago
2007
120
Voted
GIS
2000
ACM
15 years 3 months ago
2000
ACM
131
click to vote
SMA
1997
ACM
15 years 7 months ago
1997
ACM
This paper is concerned with frequency adverbs in Japanese. Many linguists have pointed out that frequency statements and generic sentences have multiple readings when they co-occ...
117
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...