Autoepistemic Theory and Paraconsistent Logic Program

Kazumi Nakamatsu, Atsuyuki Suzuki. Autoepistemic Theory and Paraconsistent Logic Program. In Kazumi Nakamatsu, Jair Minoro Abe, editors, Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005. Volume 132 of Frontiers in Artificial Intelligence and Applications, pages 177-184, IOS Press, 2005.

Abstract

Abstract is missing.