224 search results - page 14 / 45 » An extension of the program derivation format |
CG
2004
Springer
13 years 7 months ago
2004
Springer
The ongoing convergence between TV and the Internet leads traditional broadcast companies to publish their content on the Internet. Interactive digital TV platforms, which support...
ISIPTA
2003
IEEE
14 years 23 days ago
2003
IEEE
In this paper we consider decision making under hierarchical imprecise uncertainty models and derive general algorithms to determine optimal actions. Numerical examples illustrate...
NMR
2004
Springer
14 years 25 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
FOSSACS
2001
Springer
13 years 12 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
NMELP
1994
13 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...