4224 search results - page 31 / 845 » Reasoning about Choice |
APSEC
2004
IEEE
14 years 2 months ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
IJCAI
1989
14 years 4 days ago
1989
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
DAGM
2004
Springer
14 years 4 months ago
2004
Springer
This work addresses the two major drawbacks of current statistical uncertain geometric reasoning approaches. In the first part a framework is presented, that allows to represent u...
NMR
2004
Springer
14 years 4 months ago
2004
Springer
LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...