780 search results - page 77 / 156 » Compositional Quantitative Reasoning |
110
click to vote
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
68
Voted
WM
2003
15 years 2 months ago
2003
: Three-dimensional visualization facilitates human perception, imagination, and reasoning based on computer-represented knowledge. Since human imagination and reasoning is based o...
96
Voted
DLOG
1996
15 years 2 months ago
1996
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
A rational and selfish environment may have an incentive to cheat the system it interacts with. Cheating the system amounts to reporting a stream of inputs that is different from ...
114
click to vote
DAIS
2009
14 years 10 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...