8132 search results - page 290 / 1627 » Dependability, Abstraction, and Programming |
176
click to vote
RWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...
153
click to vote
SUM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...
167
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
173
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
194
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. We present here a methodology for programming active networks in the environment de ned by our new language PLAN (Packet Language for Active Networks). This environment p...