Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.

M. Jamshid Bagherzadeh, S. Arun-Kumar

Browse the full LPAR paper archive.