967 search results - page 40 / 194 » Probabilistic Predicative Programming |
106
click to vote
IJCAI
2007
15 years 3 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...
97
Voted
ICS
1995
Tsinghua U.
15 years 5 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
106
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
139
Voted
WCRE
1995
IEEE
15 years 5 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...