Computational Complexity of Input/Output Logic

Xin Sun, Diego Agustin Ambrossio. Computational Complexity of Input/Output Logic. In Antonis Bikakis, Xianghan Zheng, editors, Multi-disciplinary Trends in Artificial Intelligence - 9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015, Proceedings. Volume 9426 of Lecture Notes in Computer Science, pages 72-79, Springer, 2015. [doi]

Abstract

Abstract is missing.