Multi-Agent Systems

Logica STIT

Definition

STIT provine de la „See To It That” (Se asigură că). Este o ramură a logicii modale …