3546 search results - page 457 / 710 » A Causal Logic of Logic Programming |
117
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
122
click to vote
LOPSTR
2007
Springer
15 years 7 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
102
click to vote
ALT
1994
Springer
15 years 5 months ago
1994
Springer
This paper presents a method of extracting subprograms from background knowledge. Most studies on learning logic programs so far developed are mainly concerned with pure Prolog, so...
129
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...