585 search results - page 26 / 117 » Strategy Logic |
152
Voted
AGP
2010
IEEE
15 years 5 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
126
click to vote
EEMMAS
2007
Springer
15 years 8 months ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
110
click to vote
FLOPS
2004
Springer
15 years 7 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
79
Voted
ACE
2004
15 years 3 months ago
2004
1 Adaptive teaching does not usually rhyme with large number of students in class. Given the small amount of face to face and the disproportionate ratio, teachers have to use their...
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...