1087 search results - page 66 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
119
click to vote
AAAI
2007
15 years 3 days ago
2007
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description...
100
click to vote
DLOG
2001
14 years 11 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...
CADE
1998
Springer
15 years 2 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
CADE
2008
Springer
14 years 11 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...