1781 search results - page 44 / 357 » Functional Answer Set Programming |
143
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
133
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
133
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
130
click to vote
KES
2005
Springer
15 years 10 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...