351 search results - page 40 / 71 » Logic Programs with Compiled Preferences |
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
ECOOP
1999
Springer
14 years 29 days ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
TPLP
2002
13 years 8 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
The number of embedded systems is increasing and a remarkable percentage is designed as mobile applications. For the latter, the energy consumption is a limiting factor because of...
ECOOP
2006
Springer
14 years 10 days ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...