4192 search results - page 43 / 839 » Probabilistic Logic Programming |
162
click to vote
ECML
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...
156
click to vote
JFLP
2002
15 years 6 months ago
2002
We consider prescriptive type systems for logic programs (as in G
200
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
148
Voted
EUSFLAT
2003
15 years 7 months ago
2003
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved ...
190
Voted
TCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...