References of "Sun, Xin"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailReified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
Robaldo, Livio UL; Sun, Xin

in Journal of Logic and Computation (2017)

Detailed reference viewed: 277 (21 UL)
Full Text
Peer Reviewed
See detailOn the Complexity of Input/Output Logic
Robaldo, Livio UL; Sun, Xin

in Journal of Applied Logic (2017)

Detailed reference viewed: 127 (4 UL)
Full Text
Peer Reviewed
See detailNorm-based deontic logic for access control, some computational results
Sun, Xin; Robaldo, Livio UL

in Future Generation Computer Systems (2017)

Detailed reference viewed: 119 (5 UL)
Full Text
See detailAli Baba and Thief, Norm Emergence in Games
sun, xin; Robaldo, Livio UL

Presentation (2016)

Detailed reference viewed: 63 (4 UL)
Full Text
Peer Reviewed
See detailLogic and Games for Ethical Agents in Normative Multi-agent Systems
sun, xin; Robaldo, Livio UL

in proc. of 13th European Conference on Multi-Agent Systems/3rd International Conference on Agreement Technologies (2015)

Detailed reference viewed: 128 (5 UL)
Full Text
Peer Reviewed
See detailCombining Input/Output logic and Rei cation for representing real-world obligations
Robaldo, Livio UL; Humphreys, Llio UL; Sun, Xin et al

in Proceedings of the 9th International Workshop on Juris-informatic (JURISIN 2015) (2015)

Detailed reference viewed: 61 (5 UL)