2414 search results - page 105 / 483 » Reasoning Support for OWL-E |
ECSQARU
2007
Springer
14 years 4 months ago
2007
Springer
version of this extended abstract appeared in the proceedings of the Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-07), H...
TIME
2005
IEEE
14 years 3 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...
WSTST
2005
Springer
14 years 3 months ago
2005
Springer
: In two-sided matching problem, there are overwhelming evidences that support peoples are also motivated by concerns for fairness and reciprocity. We will show that compromise whi...
FMLDO
2000
Springer
14 years 1 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
FLAIRS
2007
14 years 12 days ago
2007
CONDORCKD is a system implementing a novel approach to discovering knowledge from data. It addresses the issue of relevance of the learned rules by algebraic means and explicitly ...