Situation Calculus Based Programs for Representing and Reasoning about Game Structures.

Giuseppe De Giacomo, Yves Lesprance, Adrian R. Pearce

Browse the full KR paper archive.