1581 search results - page 161 / 317 » Mechanizing Inductive Reasoning |
201
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Current knowledge bases suffer from either low coverage or low accuracy. The underlying hypothesis of this work is that user feedback can greatly improve the quality of automatica...
163
click to vote
AUSAI
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
151
click to vote
IFIP
2009
Springer
16 years 28 days ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
138
click to vote
KI
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
177
click to vote
ANSS
2007
IEEE
16 years 22 days ago
2007
IEEE
Accurate failure prediction in Grids is critical for reasoning about QoS guarantees such as job completion time and availability. Statistical methods can be used but they suffer f...