1020 search results - page 127 / 204 » Tight Semantics for Logic Programs |
200
click to vote
ICAI
2010
15 years 1 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
124
Voted
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
145
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
158
Voted
LANMR
2004
15 years 4 months ago
2004
In previous work we have discussed the importance of identifying the cycles that occur in a logic program under the answer set semantics, and the connections between cycles, that w...
127
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....