The following publications are possibly variants of this publication:
- Pipeline Valve Control Based on EVALPSN Safety VerificationKazumi Nakamatsu. jaciii, 10(5):647-656, 2006. [doi]
- Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSNKazumi Nakamatsu, Toshiaki Imai, Haruhiko Nishimura. aciids 2011: 496-505 [doi]
- An Intelligent Safety Verification Based on a Paraconsistent Logic ProgramKazumi Nakamatsu, Seiki Akama, Jair Minoro Abe. kes 2005: 708-715 [doi]
- EVALPSN Based Intelligent Drivers ModelKazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe. kes 2006: 858-865 [doi]
- An Intelligent Coordinated Traffic Signal Control Based on EVALPSNKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama. kes 2007: 869-876 [doi]
- Introduction to Intelligent Elevator Control Based on EVALPSNKazumi Nakamatsu, Jair Minoro Abe, Seiki Akama, Roumen Kountchev. kes 2010: 133-142 [doi]
- Introduction to Intelligent Network Routing Based on EVALPSNKazumi Nakamatsu, Jair Minoro Abe, Takashi Watanabe. kes 2010: 123-132 [doi]
- A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSNAapo Alasuutari, Kazumi Nakamatsu, Jair Minoro Abe. iimss 2014: 248-257 [doi]