Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach

Zhihu Zhang, Zuoquan Lin, Shuang Ren. Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach. In Jan Rauch, Zbigniew W. Ras, Petr Berka, Tapio Elomaa, editors, Foundations of Intelligent Systems, 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings. Volume 5722 of Lecture Notes in Computer Science, pages 181-190, Springer, 2009. [doi]

Abstract

Abstract is missing.