4192 search results - page 132 / 839 » Probabilistic Logic Programming |
112
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Spector et al. have shown [1],[2],[3] that genetic programming can be used to evolve quantum circuits. In this paper, we present new results in this field, introducing p...
109
click to vote
ERSHOV
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
125
click to vote
JUCS
2006
15 years 2 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
151
click to vote
ASP
2005
Springer
15 years 8 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
124
click to vote
AAAI
1990
15 years 3 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...