Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach.

Xinyu Zhao, Zuoquan Lin

Browse the full ICNC paper archive.