3713 search results - page 206 / 743 » Constructing a Calculus of Programs |
128
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
149
Voted
NMELP
1994
15 years 7 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
130
Voted
KI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
178
Voted
CEFP
2009
Springer
15 years 1 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
113
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...