Situation Calculus Based Programs for Representing and Reasoning about Game Structures

Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce. Situation Calculus Based Programs for Representing and Reasoning about Game Structures. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010. [doi]

Abstract

Abstract is missing.