Families of semipermeable curves in differential games with the homicidal chauffeur dynamics are studied both from theoretical and computational points of view. The knowledge of s...
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
: In this paper, we study the number of tilings of the hyperbolic plane that can be constructed, starting from a single pentagonal tile, the only permitted transformations on the b...
In this paper, we propose a novel type of 3-D scanning system named ‘Ladder-type laser scanning system,’ designed for scanning vertical and narrow areas. Two line scanners are...
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...