3691 search results - page 15 / 739 » Bayesian Logic Programs |
87
Voted
NMR
2004
Springer
15 years 5 months ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...
PKDD
2010
Springer
14 years 10 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...
IGPL
2007
14 years 11 months ago
2007
In this paper, the relationship between the e-value of a complex hypothesis, H, and those of its constituent elementary hypotheses, Hj
115
click to vote
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
102
click to vote
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.