Profil

SUN Xin

Main Referenced Co-authors
ROBALDO, Livio  (4)
GABBAY, Dov M.  (3)
AMBROSSIO, Diego Agustin  (2)
BANIASADI, Zohreh  (2)
VAN DER TORRE, Leon  (2)
Main Referenced Keywords
input/output logic (3); norm (2); Actions (1); boolean game (1); complexity (1);
Main Referenced Disciplines
Computer science (21)

Publications (total 21)

The most downloaded
292 downloads
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 https://hdl.handle.net/10993/19579

The most cited

11 citations (Scopus®)

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. https://hdl.handle.net/10993/19624

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

Sun, X. (2015). Proof theory, semantics and algebra for normative systems. Journal of logic and computation.
Peer reviewed

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

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). 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. (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

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

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

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

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., 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.

Contact ORBilu