Xin Sun
According to our database^{1},
Xin Sun
authored at least 27 papers
between 2011 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at icr.uni.lu
On csauthors.net:
Bibliography
2018
Deontic STIT logic, from logical paradox to security policy.
Soft Comput., 2018
Categorical quantum cryptography for access control in cloud computing.
Soft Comput., 2018
Quantum technique for access control in cloud computing II: Encryption and key distribution.
J. Network and Computer Applications, 2018
Stag hunt and trust emergence in social networks.
Future Generation Comp. Syst., 2018
Normbased deontic logic for access control, some computational results.
Future Generation Comp. Syst., 2018
A Simple Voting Protocol on Quantum Blockchain.
CoRR, 2018
Quantumenhanced Logicbased Blockchain I: Quantum Honestsuccess Byzantine Agreement and Qulogicoin.
CoRR, 2018
2017
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation.
J. Log. Comput., 2017
Ali Baba and the Thief, Convention Emergence in Games.
J. Artificial Societies and Social Simulation, 2017
On the complexity of input/output logic.
J. Applied Logic, 2017
Realizing correlated equilibrium by secure computation.
J. Inf. Sec. Appl., 2017
2016
Norm Creation in Proposition Control Games.
Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), 2016
2015
Input/Output STIT Logic for Normative Systems.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015
Computational Complexity of Input/Output Logic.
Proceedings of the Multidisciplinary Trends in Artificial Intelligence, 2015
Boolean Games with Norms.
Proceedings of the Multidisciplinary Trends in Artificial Intelligence, 2015
On the Complexity of Input/Output Logic.
Proceedings of the Logic, Rationality, and Interaction  5th International Workshop, 2015
Boolean Game with Prioritized Norms.
Proceedings of the Logic, Rationality, and Interaction  5th International Workshop, 2015
Combining Input/Output Logic and Reification for Representing RealWorld Obligations.
Proceedings of the New Frontiers in Artificial Intelligence, 2015
Probabilistic Argumentation, a Small Step for Uncertainty, a Giant Step for Complexity.
Proceedings of the MultiAgent Systems and Agreement Technologies, 2015
Logic and Games for Ethical Agents in Normative Multiagent Systems.
Proceedings of the MultiAgent Systems and Agreement Technologies, 2015
2014
The paradoxes of permission an action based solution.
J. Applied Logic, 2014
STIT Based Deontic Logics for the Miners Puzzle.
Proceedings of the MultiAgent Systems  12th European Conference, 2014
Combining Constitutive and Regulative Norms in Input/Output Logic.
Proceedings of the Deontic Logic and Normative Systems  12th International Conference, 2014
Toward a Linguistic Interpretation of Deontic Paradoxes  BethReichenbach Semantics Approach for a New Analysis of the Miners Scenario.
Proceedings of the Deontic Logic and Normative Systems  12th International Conference, 2014
How to Build Input/Output Logic.
Proceedings of the Computational Logic in MultiAgent Systems, 2014
2013
Proof Theory, Semantics and Algebra for Normative Systems.
Proceedings of the Logic, Rationality, and Interaction  4th International Workshop, 2013
2011
Conditional Ought, a Game Theoretical Perspective.
Proceedings of the Logic, Rationality, and Interaction  Third International Workshop, 2011