An Intelligent Safety Verification Based on a Paraconsistent Logic Program.

Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe

Browse the full KES paper archive.