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.

Authors

Kazumi Nakamatsu

This author has not been identified. Look up 'Kazumi Nakamatsu' in Google

Atsuyuki Suzuki

This author has not been identified. Look up 'Atsuyuki Suzuki' in Google