Multi-Agent Systems

Logica STIT

Definition

STIT sta per ‘See To It That’ (Vedi a fare che). È un ramo della logica …