3481 search results - page 308 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
131
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
135
click to vote
ISMIS
2003
Springer
15 years 9 months ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
125
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...
153
click to vote
EVOW
1994
Springer
15 years 8 months ago
1994
Springer
The genetic programming (GP) paradigm is a new approach to inductively forming programs that describe a particular problem. The use of natural selection based on a fitness ]unction...
221
click to vote
ICTL
1994
15 years 8 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...