95 citations · 208 across the 21 of their papers we have counts for
5 papers · 1 filter
Infinite Qualitative Simulations by Means of Constraint Programming
Krzysztof R. Apt, Sebastian Brand
We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set…
The Many Faces of Rationalizability
Krzysztof R. Apt
The rationalizability concept was introduced in \cite{Ber84} and \cite{Pea84} to assess what can be inferred by rational players in a non-cooperative game in the presence of common…
An Analysis of Arithmetic Constraints on Integer Intervals
Krzysztof R. Apt, Peter Zoeteweij
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for these…
Stable partitions in coalitional games
Krzysztof R. Apt, Tadeusz Radzik
We propose a notion of a stable partition in a coalitional game that is parametrized by the concept of a defection function. This function assigns to each partition of the grand co…
Explaining Constraint Programming
Krzysztof R. Apt
We discuss here constraint programming (CP) by using a proof-theoretic perspective. To this end we identify three levels of abstraction. Each level sheds light on the essence of CP…