Restricted Four-Valued Semantics for Answer Set Programming

Chen Chen, Zuoquan Lin. Restricted Four-Valued Semantics for Answer Set Programming. In Richard Booth, Min-Ling Zhang, editors, PRICAI 2016: Trends in Artificial Intelligence - 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings. Volume 9810 of Lecture Notes in Computer Science, pages 68-79, Springer, 2016. [doi]

Abstract

Abstract is missing.