201 search results - page 25 / 41 » Abductive reasoning with temporal information |
116
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
111
Voted
TIME
2000
IEEE
15 years 5 months ago
2000
IEEE
In spatiotemporal applications, meaningful changes vary according to object type, level of detail, and nature of application. In this paper, we introduce a dynamic classification ...
114
Voted
JSS
2000
15 years 13 days ago
2000
Rapid advances in mobile communication technology have spawned many new mobile applications. A key element in many of these systems is the need to distribute real-time information...
111
Voted
GIS
2002
ACM
15 years 13 days ago
2002
ACM
This paper contributes a general approach to characterizing patterns of change in a spatio-temporal database. While there is a particular interest in modelling and querying how sp...
108
Voted
TIME
2009
IEEE
15 years 7 months ago
2009
IEEE
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...