2649 search results - page 32 / 530 » Temporal Theories of Reasoning |
LICS
1998
IEEE
15 years 4 months ago
1998
IEEE
LICS
1997
IEEE
15 years 4 months ago
1997
IEEE
GIS
2007
ACM
14 years 11 months ago
2007
ACM
TIME
2002
IEEE
15 years 4 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
110
click to vote
SGAI
2009
Springer
15 years 4 months ago
2009
Springer
Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statisti...