%0 Conference Paper %1 conf/his/NakamatsuAS01 %A Nakamatsu, Kazumi %A Abe, Jair Minoro %A Suzuki, Atsuyuki %B HIS %D 2001 %E Abraham, Ajith %E Köppen, Mario %I Physica-Verlag %K dblp %P 665-679 %T Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification. %U http://dblp.uni-trier.de/db/conf/his/his2001.html#NakamatsuAS01 %@ 3-7908-1480-6

@inproceedings{conf/his/NakamatsuAS01, added-at = {2003-03-26T00:00:00.000+0100}, author = {Nakamatsu, Kazumi and Abe, Jair Minoro and Suzuki, Atsuyuki}, biburl = {https://www.bibsonomy.org/bibtex/22cac2eec9b68869683a9963eec9cdb50/dblp}, booktitle = {HIS}, crossref = {conf/his/2001}, date = {2003-03-26}, description = {dblp}, editor = {Abraham, Ajith and Köppen, Mario}, interhash = {dcfbb7985b7d7b93452444c16263c623}, intrahash = {2cac2eec9b68869683a9963eec9cdb50}, isbn = {3-7908-1480-6}, keywords = {dblp}, pages = {665-679}, publisher = {Physica-Verlag}, series = {Advances in Soft Computing}, timestamp = {2003-03-26T00:00:00.000+0100}, title = {Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification.}, url = {http://dblp.uni-trier.de/db/conf/his/his2001.html#NakamatsuAS01}, year = 2001 }