A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.

Kazumi Nakamatsu Ryuji Ishikawa Atsuyuki Suzuki A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. 954-960 http://dx.doi.org/10.1007/978-3-540-30133-2_126 2004 conf/kes/2004-2 KES db/conf/kes/kes2004-2.html#NakamatsuIS04