1781 search results - page 44 / 357 » Functional Answer Set Programming |
TACS
1994
Springer
14 years 2 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 ...
EMSOFT
2003
Springer
14 years 3 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...
LPAR
2001
Springer
14 years 2 months ago
2001
Springer
CORR
2008
Springer
13 years 10 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...
KES
2005
Springer
14 years 3 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...