List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Quantified coalition logic of knowledge, belief and certainty Advances in Artificial Intelligence | 2020-08-05 | Paper |
| A first-order coalition logic for BDI-agents Frontiers of Computer Science | 2019-01-22 | Paper |
| A complete coalition logic of temporal knowledge for multi-agent systems Frontiers of Computer Science | 2018-12-19 | Paper |
| A structure-oriented learning-based planning method | 2015-02-11 | Paper |
| Primitive recursiveness of real numbers under different representations Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
| Primitive recursive real numbers Mathematical Logic Quarterly | 2007-09-17 | Paper |
| Knowledge structure approach to verification of authentication protocols Science in China. Series F | 2007-02-20 | Paper |
Research outcomes over time
This page was built for person: Qingliang Chen
