Sun, Xin[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Ambrossio, Diego Agustin[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
The 9th Multi-Disciplinary International Workshop on Artificial Intelligence 2015 (MIWAI)
November 13-15, 2015
Fuzhou
China
[en] input/output logic ; complexity ; norm
[en] Input/output logics are abstract structures designed to represent conditional norms. The complexity of input/output logic has been sparsely developed. In this paper we study the complexity of input/output logics. We show that the lower bound of the complexity of the fulfillment problem of 4 input/output logics is coNP, while the upper bound is either coNP or P^NP.