4370 search results - page 311 / 874 » Algebra of Logic Programming |
152
click to vote
LOGCOM
2007
15 years 3 months ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
112
Voted
TLDI
2009
ACM
16 years 3 hour ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
110
click to vote
IJCAI
2007
15 years 4 months ago
2007
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belo...
151
click to vote
CC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
123
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...