  | Sun, X. (2016). Logic and Games of Norms: a Computational Perspective [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/28974 |
 | Sun, X., & Robaldo, L. (2016). Norm Creation in Proposition Control Games. In Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016.  Peer reviewed |
 | Robaldo, L., & Sun, X. (2016). Reified Input/Output logic - a position paper. Proceedings of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016). Peer reviewed |
 | Sun, X. (2015). Boolean Game with Prioritized Norms. In Proceedings of the Fifth International Conference on Logic, Rationality and Interaction. Peer reviewed |
 | Robaldo, L., Humphreys, L., Sun, X., Cupi, L., Santos, C., & Muthuri, R. (2015). The ProLeMAS project: representing natural language norms in Input/Output logic [Paper presentation]. 9th International Workshop on Juris-informatic. |
 | Sun, X. (2015). Boolean Games with Norms. In Boolean Games with Norms. doi:10.1007/978-3-319-26181-2_6 Peer reviewed |
 | Sun, X., & Ambrossio, D. A. (2015). Computational Complexity of Input/Output Logic. Lecture Notes in Computer Science, 9426. doi:10.1007/978-3-319-26181-2_7 Peer reviewed |
 | Sun, X. (2015). Proof theory, semantics and algebra for normative systems. Journal of logic and computation. Peer reviewed |
 | Sun, X. (2015). Input/Output STIT Logic for Normative Systems. In Proceedings of the 9th International Web Rule Symposium (RuleML). Peer reviewed |
 | Sun, X., & Ambrossio, D. A. (2015). On the complexity of input/output logic. In Proceedings of the Fifth International Conference on Logic, Rationality and Interaction. Peer reviewed |
 | Sun, X., & Zohreh, B. (2014). STIT based deontic logics for the miners puzzle. In 12th European Conference on Multi-Agent Systems. doi:10.1007/978-3-319-17130-2_16 Peer reviewed |
 | Sun, X., & Huimin, D. (2014). Stratified action negation for dynamic logic. In 26th BENELUX Conference on Artificial Intelligence (BNAIC). Peer reviewed |
 | Sun, X., & Zohreh, B. (2014). How do pessimistic agents save miners? A STIT based approach. In 26th BENELUX Conference on Artificial Intelligence(BNAIC). Peer reviewed |
 | Gabbay, D. M.* , Gammaitoni, L.* , & Sun, X.*. (2014). The paradoxes of permission an action based solution. Journal of Applied Logic, 12 (2), 179–191. doi:10.1016/j.jal.2014.01.003 Peer reviewed* These authors have contributed equally to this work. |
 | Sun, X. (2014). How to build input/output logic. In 15th International Workshop on Computational Logic in Multi-Agent Systems. Peer reviewed |
Sun, X. (2014). The deontic dilemma of action negation, and its solution [Paper presentation]. THE ELEVENTH CONFERENCE ON LOGIC AND THE FOUNDATIONS OF GAME AND DECISION THEORY. |
 | Sun, X., & van der Torre, L. (2014). Combining Regulative and Constitutive Norms in Input/Output Logic. In 12th International Conference on Deontic Logic and Normative Systems. Peer reviewed |
 | Gabbay, D. M., Robaldo, L., Sun, X., Torre, L. W. N. V. D., & Baniasadi, Z. (2014). Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. In Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings. doi:10.1007/978-3-319-08615-6_9 Peer reviewed |
 | Sun, X., Gabbay, D. M., Robaldo, L., van der Torre, L., & Baniasadi, Z. (2014). Toward a Linguistic Interpretation of Deontic Paradoxes. In 12th International Conference Deontic Logic and Normative Systems. Peer reviewed |
 | Sun, X. (2013). Proof theory, Semantics and Algebra for Normative System. In Logic, Rationality, and Interaction, 4th International workshop. Peer reviewed |
 | Sun, X. (2013). "To be or not to be" is not "to kill or not to kill", a logic on action negation [Paper presentation]. 3rd International Workshop on Philosophy and Ethics of Social Reality. |