3470 search results - page 7 / 694 » Head-Elementary-Set-Free Logic Programs |
103
click to vote
FSS
2008
14 years 11 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
JFLP
2002
14 years 11 months ago
2002
We consider prescriptive type systems for logic programs (as in G
EUSFLAT
2003
15 years 1 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 ...
75
Voted
TPLP
2008
14 years 11 months 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...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...