A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming.

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki

Browse the full HIS paper archive.