3691 search results - page 408 / 739 » Bayesian Logic Programs |
178
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
186
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
158
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
187
click to vote
CEFP
2005
Springer
16 years 6 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
158
click to vote
ICLP
2004
Springer
16 years 1 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...