Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge