3691 search results - page 20 / 739 » Bayesian Logic Programs |
95
Voted
JFLP
2002
15 years 12 days ago
2002
We consider prescriptive type systems for logic programs (as in G
135
click to vote
ICLP
2004
Springer
15 years 6 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...
83
Voted
EUSFLAT
2003
15 years 2 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 ...
107
Voted
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
86
Voted
TPLP
2008
15 years 19 days ago
2008
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...