K. Nakamatsu

A Paraconsistent Logic Program bf-EVALPSN and its Application to Process Order Control

K. Nakamatsu, S. Akama, J.M. Abe, 2008, 2008 4th International Conference on Information and Automation for Sustainability.

Defeasible Reasoning Based on VALPSN and its Application

K. Nakamatsu, 1999 .

Defeasible Deontic Action Control Based on Paraconsistent Logic Program and its Hardware Implementation

K. Nakamatsu, 2003 .

Defeasible Reasoning Between Conflicting Agents Based on VALPSN

K. Nakamatsu, 1999, AAAI 1999.

Real-time intelligent process order control based on a paraconsistent annotated logic program EVALPSN

K. Nakamatsu, S. Akama, J.M. Abe, 2008, 2008 5th International Multi-Conference on Systems, Signals and Devices.

Paraconsistent logic program based safety verification for air traffic control

K. Nakamatsu, J. M. Abe, A. Suzuki, 2002, IEEE International Conference on Systems, Man and Cybernetics.

Common-sense reasoning in constructive discursive logic

Jair Minoro Abe, K. Nakamatsu, S. Akama, 2012, 2012 8th International Conference on Computing Technology and Information Management (NCM and ICNIT).

Automatic theorem proving for modal predicate logic

A. Suzuki, K. Nakamatsu, K. Nakamatsu, 1984 .