3595 search results - page 137 / 719 » Roles of Program Extension |
125
click to vote
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
145
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
174
click to vote
ACSC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we aim to infer a model of genetic networks from time series data of gene expression profiles by using a new gene expression programming algorithm. Gene expression n...
141
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
130
click to vote
AAAI
2008
15 years 6 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...