Multi-Agent Systems

STIT-logikk

Definition

STIT står for ‘See To It That’ (Se til at det skjer). Det er en gren av …