8132 search results - page 374 / 1627 » Dependability, Abstraction, and Programming |
189
click to vote
ICLP
2004
Springer
16 years 7 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...
209
click to vote
PARA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Array privatization is one of the most effective ways to improve...
209
click to vote
ASP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
171
click to vote
CAEPIA
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
174
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...