670 search results - page 23 / 134 » On the Implementation of the Probabilistic Logic Programming... |
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
210
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
251
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
141
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
112
click to vote
DALT
2006
Springer
15 years 6 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...