3773 search results - page 530 / 755 » Logical Reasoning |
187
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
184
click to vote
TIME
2005
IEEE
16 years 20 days ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
177
click to vote
TIME
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
189
click to vote
SAC
2004
ACM
16 years 16 days ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
191
Voted
CADE
2004
Springer
16 years 15 days ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...