A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse. - Kazumi Nakamatsu; Ryuji Ishikawa; Atsuyuki Suzuki (KES, 2004)

An EVALP Based Traffic Simulation System. - Kazumi Nakamatsu; Ryuji Ishikawa; Atsuyuki Suzuki (LAPTEC, 2005)