2203 search results - page 29 / 441 » Temporal Abstract Interpretation |
PKDD
2004
Springer
14 years 3 months ago
2004
Springer
CGA
2007
13 years 9 months ago
2007
GIS
2000
ACM
13 years 9 months ago
2000
ACM
SMA
1997
ACM
14 years 1 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...
ATAL
2007
Springer
14 years 3 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...