967 search results - page 116 / 194 » Probabilistic Predicative Programming |
125
Voted
ICLP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
125
click to vote
SAS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
111
Voted
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
Delaying-based tabling mechanisms, such as the one adopted in XSB, are nonlinear in the sense that the computation state of delayed calls has to be preserved. In this paper, we pr...
139
click to vote
LOPSTR
1992
Springer
15 years 6 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
139
Voted
CLIMA
2010
15 years 4 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...