5536 search results - page 366 / 1108 » Programming Languages for Distributed Applications |
186
click to vote
CSL
2005
Springer
16 years 9 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
186
click to vote
ICLP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
189
click to vote
UAI
2003
15 years 8 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
319
click to vote
Book
"Servlet and JSP technology has become the technology of choice for developing
online stores, interactive Web applications, and other dynamic Web sites."
168
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...