3546 search results - page 134 / 710 » A Causal Logic of Logic Programming |
128
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...
128
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
The Inductive Logic Programming community has considered proof-complexity and model-complexity, but, until recently, size-complexity has received little attention. Recently a chal...
145
Voted
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
225
click to vote
ENTCS
2007
15 years 4 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
127
click to vote
KES
2005
Springer
15 years 9 months ago
2005
Springer
We present a simple, yet general top-down query answering procedure for logic programs managing uncertainty. The main features are: (i) the certainty values are taken from a certai...