2649 search results - page 218 / 530 » Temporal Theories of Reasoning |
168
click to vote
TIME
1997
IEEE
15 years 11 months ago
1997
IEEE
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) o...
196
click to vote
GIS
2002
ACM
15 years 6 months 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...
177
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary...
159
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
Are theories ‘underdetermined by the evidence’ in any way that should worry the scientific realist? I argue that no convincing reason has been given for thinking so. A crucial ...
202
click to vote
PPSWR
2005
Springer
16 years 5 days ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...