419 search results - page 77 / 84 » Translation of Aggregate Programs to Normal Logic Programs |
112
click to vote
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
144
Voted
APPT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...
107
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
118
Voted
ENTCS
2002
15 years 1 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
118
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...