Building a complete virtual human application from scratch is a daunting task, and it makes sense to rely on existing platforms for behavior generation. When one does this, one needs to be able to adapt and extend the capabilities of the virtual human as offered by the platform, without having to make invasive modifications to the platform itself. This is not trivial to support, and not all exi...

We analyze the on-line dimension of semi-orders as a two-person game between Algorithm and Spoiler, in a customary way. The game is played in rounds. Spoiler presents a collection of intervals representing a semi-order, one interval at a time. Algorithm maintains its realizer, i.e., the set of linear extensions intersecting to the semi-order presented so far. Each time a new interval is present...

This paper deals with the specification problem in classical realizability (such as introduced by Krivine [17]), which is to characterize the universal realizers of a given formula by their computational behavior. After recalling the framework of classical realizability, we present the problem in the general case and illustrate it with some examples. In the rest of the paper, we focus on Peirce...