 | 2009 |
|---|
| 8 |       | Lijun Wu,
Jinshu Su,
Xiangyu Luo,
Zhihua Yang,
Qingliang Chen:
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems.
Canadian Conference on AI 2009: 146-157 |
| 2008 |
|---|
| 7 | | Xiangyu Luo,
Kaile Su,
Abdul Sattar,
Yan Chen:
Solving Sum and Product Riddle via BDD-Based Model Checking.
Web Intelligence/IAT Workshops 2008: 630-633 |
| 2007 |
|---|
| 6 | | Kaile Su,
Abdul Sattar,
Xiangyu Luo:
Model Checking Temporal Logics of Knowledge Via OBDDs.
Comput. J. 50(4): 403-420 (2007) |
| 2006 |
|---|
| 5 | | Kaile Su,
Xiangyu Luo,
Abdul Sattar,
Mehmet A. Orgun:
The interpreted system model of knowledge, belief, desire and intention.
AAMAS 2006: 220-222 |
| 4 | | Xiangyu Luo,
Kaile Su,
Abdul Sattar,
Mark Reynolds:
Verification of Multi-agent Systems Via Bounded Model Checking.
Australian Conference on Artificial Intelligence 2006: 69-78 |
| 3 | | Kaile Su,
Weiya Yue,
Abdul Sattar,
Mehmet A. Orgun,
Xiangyu Luo:
Observation-Based Logic of Knowledge, Belief, Desire and Intention.
KSEM 2006: 366-378 |
| 2005 |
|---|
| 2 |  | Kaile Su,
Abdul Sattar,
Kewen Wang,
Xiangyu Luo,
Guido Governatori,
Vineet Padmanabhan:
Observation-based Model for BDI-Agents.
AAAI 2005: 190-195 |
| 1 | | Xiangyu Luo,
Kaile Su,
Abdul Sattar,
Qingliang Chen,
Guanfeng Lv:
Bounded model checking knowledge and branching time in synchronous multi-agent systems.
AAMAS 2005: 1129-1130 |
