Reasoning with a Bounded Number of Resources in ATL+.

Francesco Belardinelli, Stphane Demri

Browse the full ECAI paper archive.