Sciweavers

LPAR
2004
Springer

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

14 years 5 months ago
Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals
M. Jamshid Bagherzadeh, S. Arun-Kumar
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where LPAR
Authors M. Jamshid Bagherzadeh, S. Arun-Kumar
Comments (0)