Xin Sun

Xin Sun
Postal Address Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2016

Full Text
See detailReified Input/Output logic - a position paper
Robaldo, Livio; Sun, Xin

in proceedings of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016) (2016)

Full Text
See detailNorm Creation in Proposition Control Games
Sun, Xin; Robaldo, Livio

in Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016. (2016)

Top of Page

2015

Full Text
See detailThe ProLeMAS project: representing natural language norms in Input/Output logic
Robaldo, Livio; Humphreys, Llio; Sun, Xin; Cupi, Loredana; Santos, Cristiana; Muthuri, Robert

Scientific Conference (2015)

Full Text
See detailBoolean Game with Prioritized Norms
Sun, Xin

in Proceedings of the Fifth International Conference on Logic, Rationality and Interaction (2015, October 28)

Full Text
See detailInput/Output STIT Logic for Normative Systems
Sun, Xin

in Proceedings of the 9th International Web Rule Symposium (RuleML) (2015)

Full Text
See detailProof theory, semantics and algebra for normative systems
Sun, Xin

in Journal of logic and computation (2015)

Full Text
See detailBoolean Games with Norms
Sun, Xin

in Boolean Games with Norms (2015)

Full Text
See detailOn the complexity of input/output logic
Sun, Xin; Ambrossio, Diego Agustin

in Proceedings of the Fifth International Conference on Logic, Rationality and Interaction (2015)

Full Text
See detailComputational Complexity of Input/Output Logic
Sun, Xin; Ambrossio, Diego Agustin

in Lecture Notes in Computer Science (2015), 9426

Top of Page

2014

Full Text
See detailThe paradoxes of permission an action based solution
Gabbay, Dov M.; Gammaitoni, Loïc; Sun, Xin

in Journal of Applied Logic (2014), 12(2), 179191

Full Text
See detailToward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario
Gabbay, Dov M.; Robaldo, Livio; Sun, Xin; Torre, Leendert W. N. Van Der; Baniasadi, Zohreh

in Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (2014)

Full Text
See detailHow to build input/output logic
Sun, Xin

in 15th International Workshop on Computational Logic in Multi-Agent Systems (2014)

Full Text
See detailToward a Linguistic Interpretation of Deontic Paradoxes
Sun, Xin; Gabbay, Dov; Robaldo, Livio; van der Torre, Leon; Baniasadi, Zohreh

in 12th International Conference Deontic Logic and Normative Systems (2014)

Full Text
See detailStratified action negation for dynamic logic
Sun, Xin; Huimin, Dong

in 26th BENELUX Conference on Artificial Intelligence (BNAIC) (2014)

Full Text
See detailCombining Regulative and Constitutive Norms in Input/Output Logic
Sun, Xin; van der Torre, Leon

in 12th International Conference on Deontic Logic and Normative Systems (2014)

Full Text
See detailHow do pessimistic agents save miners? A STIT based approach.
Sun, Xin; Zohreh, Baniasadi

in 26th BENELUX Conference on Artificial Intelligence(BNAIC) (2014)

Full Text
See detailSTIT based deontic logics for the miners puzzle
Sun, Xin; Zohreh, Baniasadi

in 12th European Conference on Multi-Agent Systems (2014)

Top of Page

2013

Full Text
See detailProof theory, Semantics and Algebra for Normative System
Sun, Xin

in Logic, Rationality, and Interaction, 4th International workshop (2013)

Top of Page