967 search results - page 54 / 194 » Probabilistic Predicative Programming |
81
Voted
CORR
1999
Springer
15 years 2 months ago
1999
Springer
PRL
2002
15 years 2 months ago
2002
117
Voted
AAAI
2010
15 years 3 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
125
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
114
click to vote
ENTCS
2006
15 years 2 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...