%0 Conference Paper %1 conf/his/NakamatsuAS02 %A Nakamatsu, Kazumi %A Abe, Jair Minoro %A Suzuki, Atsuyuki %B HIS %D 2002 %E Abraham, Ajith %E del Solar, Javier Ruiz %E Köppen, Mario %I IOS Press %K dblp %P 775-784 %T A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. %U http://dblp.uni-trier.de/db/conf/his/his2002.html#NakamatsuAS02 %V 87 %@ 1-58603-297-6

@inproceedings{conf/his/NakamatsuAS02, added-at = {2003-12-02T00:00:00.000+0100}, author = {Nakamatsu, Kazumi and Abe, Jair Minoro and Suzuki, Atsuyuki}, biburl = {https://www.bibsonomy.org/bibtex/292758f54f77592904dda86f28bf70f2d/dblp}, booktitle = {HIS}, crossref = {conf/his/2002}, date = {2003-12-02}, description = {dblp}, editor = {Abraham, Ajith and del Solar, Javier Ruiz and Köppen, Mario}, interhash = {7d7aaff3a1ba94583b97ffa93146d473}, intrahash = {92758f54f77592904dda86f28bf70f2d}, isbn = {1-58603-297-6}, keywords = {dblp}, pages = {775-784}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2003-12-02T00:00:00.000+0100}, title = {A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/his/his2002.html#NakamatsuAS02}, volume = 87, year = 2002 }