Tableau-based decision procedures for logics of strategic ability in
multi-agent systems

Tableau-based decision procedures for logics of strategic ability in multi-agent systems

15 March 2008

Papers citing "Tableau-based decision procedures for logics of strategic ability in multi-agent systems"

Title
No papers