We introduce a general framework for specifying program correspondence under the answer-set semantics. The framework allows to define different kinds of equivalence notions, including previously defined notions like strong and uniform equivalence, in which programs are extended with rules from a given context, and correspondence is determined by means of a binary relation. In particular, refine...

Bumb and Hoede have shown that a cooperative game can be split into two games, the reward game and the fine game, by considering the sign of quantities c v S in the c-diagram of the game. One can then define a solution x for the original game as x = x r − x f , where x r is a solution for the reward game and x f is a solution for the fine game. Due to the distinction of cooperation rewards and ...

For the jet pointing towards us: the spectrum in the jet rest frame is a power law from ν1 to ν2. In the observer frame, every frequency gets Doppler shifted by D+ = γ(1 + β cos θ) > 0, where β = v/c > 0 (RL equation 4.12b). The factor of 1 + β cos θ is the usual Doppler shift (train-whistle effect), while the factor of γ arises from time dilation. So the whole forward jet spectrum shifts to hi...

Let a = (a (i))i=1;:::;n be the jungle equilibrium allocation achieved by using the algorithm in the notes (the agents choose the houses one by one, according to the order of power). Now assume by negation, that another equilibrium exists, with an allocation a0 = (a0 (i))i=1;:::;n 6= (a (i))i=1;:::;n. Let G be the set of agents such that a 0 (i) 6= a (i) 8i2G, and let j be the "most powerful" a...

Consider linear algebraic systems where the elements of the matrix and the right-hand side vector depend linearly on a number of interval parameters. We prove some sufficient conditions for the united parametric solution set of such a system to have linear boundary. These conditions imply an equivalent representation of the parametric system where each parameter appears once in a diagonal matri...