We have 4 papers accepted at IJCAI-15. These cover (1) weighted model counting for hybrid domains, (2) the GOLOG language in hybrid domains, (3) interactions between only knowing and common knowledge, and (4) only knowing defined in classical modal logic.