Xin Sun
|
|
||||
| Postal Address |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
2016
Reified Input/Output logic - a position paper;
in Proceedings of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016) (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. (2016)
2015
The ProLeMAS project: representing natural language norms in Input/Output logic; ; ; ; ;
Scientific Conference (2015)
Boolean Game with Prioritized Normsin Proceedings of the Fifth International Conference on Logic, Rationality and Interaction (2015, October 28)
Input/Output STIT Logic for Normative Systemsin Proceedings of the 9th International Web Rule Symposium (RuleML) (2015)
On the complexity of input/output logic;
in Proceedings of the Fifth International Conference on Logic, Rationality and Interaction (2015)
2014
The paradoxes of permission an action based solution; ;
in Journal of Applied Logic (2014), 12(2), 179191
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 (2014)
How to build input/output logicin 15th International Workshop on Computational Logic in Multi-Agent Systems (2014)
Toward a Linguistic Interpretation of Deontic Paradoxes; ; ; ;
in 12th International Conference Deontic Logic and Normative Systems (2014)
Stratified action negation for dynamic logic;
in 26th BENELUX Conference on Artificial Intelligence (BNAIC) (2014)
Combining Regulative and Constitutive Norms in Input/Output Logic;
in 12th International Conference on Deontic Logic and Normative Systems (2014)
How do pessimistic agents save miners? A STIT based approach.;
in 26th BENELUX Conference on Artificial Intelligence(BNAIC) (2014)
STIT based deontic logics for the miners puzzle;
in 12th European Conference on Multi-Agent Systems (2014)
2013
Proof theory, Semantics and Algebra for Normative Systemin Logic, Rationality, and Interaction, 4th International workshop (2013)
"To be or not to be" is not "to kill or not to kill", a logic on action negationScientific Conference (2013)
