Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki. Intelligent Safety Verification for Pipeline Based on EVALPSN. In Kazumi Nakamatsu, Jair Minoro Abe, editors, Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005. Volume 132 of Frontiers in Artificial Intelligence and Applications, pages 63-70, IOS Press, 2005.
@inproceedings{NakamatsuKS05,
title = {Intelligent Safety Verification for Pipeline Based on EVALPSN},
author = {Kazumi Nakamatsu and Kenji Kawasumi and Atsuyuki Suzuki},
year = {2005},
tags = {rule-based},
researchr = {https://researchr.org/publication/NakamatsuKS05},
cites = {0},
citedby = {0},
pages = {63-70},
booktitle = {Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005},
editor = {Kazumi Nakamatsu and Jair Minoro Abe},
volume = {132},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-568-6},
}