Xin Sun

According to our database1, Xin Sun authored at least 27 papers between 2011 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

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

Norm-based deontic logic for access control, some computational results.
Future Generation Comp. Syst., 2018

A Simple Voting Protocol on Quantum Blockchain.
CoRR, 2018

Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success 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 Multi-disciplinary Trends in Artificial Intelligence, 2015

Boolean Games with Norms.
Proceedings of the Multi-disciplinary 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 Real-World 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 Multi-Agent Systems and Agreement Technologies, 2015

Logic and Games for Ethical Agents in Normative Multi-agent Systems.
Proceedings of the Multi-Agent 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 Multi-Agent 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 - Beth-Reichenbach 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 Multi-Agent 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


  Loading...