8232 search results - page 401 / 1647 » Dynamic Logic Programming |
201
click to vote
LPNMR
2007
Springer
16 years 28 days ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
194
click to vote
NMELP
1994
15 years 11 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
176
Voted
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
159
Voted
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
We present a new mechanism for preserving phenotypic behavioural diversity in a Genetic Programming application for hedge fund portfolio optimization, and provide experimental res...
170
click to vote
AO
2007
15 years 7 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...