754 search results - page 19 / 151 » An Ordered Logic Program Solver |
82
Voted
LICS
2009
IEEE
15 years 5 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
107
click to vote
PLILP
1995
Springer
15 years 2 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
ASIAN
2004
Springer
15 years 4 months ago
2004
Springer
FSTTCS
2000
Springer
15 years 2 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
APAL
1999
14 years 10 months ago
1999
