7430 search results - page 209 / 1486 » Programming Applications in CIFF |
215
Voted
ASP
2005
Springer
16 years 16 days 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. ...
181
click to vote
PADL
2005
Springer
16 years 14 days 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...
163
Voted
ICLP
1994
Springer
15 years 11 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 ...
222
click to vote
AGP
2010
IEEE
15 years 11 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...
177
Voted
IANDC
2006
15 years 7 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...