967 search results - page 63 / 194 » Probabilistic Predicative Programming |
117
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
169
Voted
EUSFLAT
2009
15 years 8 days ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
124
click to vote
ICDCS
1998
IEEE
15 years 6 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
114
click to vote
ICML
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...