496 search results - page 83 / 100 » Practical Reasoning for Very Expressive Description Logics |
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...
SAT
2005
Springer
15 years 3 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
IEEEAMS
2003
IEEE
15 years 2 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
100
click to vote
FLAIRS
2009
14 years 7 months ago
2009
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...
68
Voted
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
: The mathematical nature of description logics has meant that domain experts find them hard to understand. This forms a significant impediment to the creation and adoption of onto...