7430 search results - page 209 / 1486 » Programming Applications in CIFF |
155
Voted
ASP
2005
Springer
15 years 9 months ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
128
click to vote
PADL
2005
Springer
15 years 9 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
118
click to vote
ICLP
1994
Springer
15 years 7 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
168
click to vote
AGP
2010
IEEE
15 years 7 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
127
Voted
IANDC
2006
15 years 3 months ago
2006
Dynamic Programming solves combinatorial optimization problems by recursive decomposition and tabulation of intermediate results. The first step in the design of a dynamic program...