1368 search results - page 56 / 274 » Personality-Based Practical Reasoning |
104
click to vote
CAGD
2005
15 years 1 months ago
2005
The paper iterates on the observation made independently by several groups of authors that building subdivision schemes out of simple, very local and geometrically invariant avera...
118
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of...
206
click to vote
ICDE
1999
IEEE
16 years 3 months ago
1999
IEEE
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...
101
click to vote
TIME
2005
IEEE
15 years 7 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
KR
1994
Springer
15 years 6 months ago
1994
Springer
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...