Aapo Alasuutari, Kazumi Nakamatsu, Jair Minoro Abe. A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN. In Rui Neves-Silva, George A. Tshirintzis, Vladimir Uskov, Robert J. Howlett, Lakhmi C. Jain, editors, Smart Digital Futures 2014, Proceedings of Three KES Conferences: Intelligent Decision Technologies (KES-IDT-14), Intelligent Interactive Multimedia Systems and Services (KES-IIMSS-14), and Smart Technology-based Education and Training (KES-STET-14), Chania, Crete, Greece, 18-20 June 2014. Volume 262 of Frontiers in Artificial Intelligence and Applications, pages 248-257, IOS Press, 2014. [doi]
@inproceedings{AlasuutariNA14, title = {A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN}, author = {Aapo Alasuutari and Kazumi Nakamatsu and Jair Minoro Abe}, year = {2014}, doi = {10.3233/978-1-61499-405-3-248}, url = {https://doi.org/10.3233/978-1-61499-405-3-248}, researchr = {https://researchr.org/publication/AlasuutariNA14}, cites = {0}, citedby = {0}, pages = {248-257}, booktitle = {Smart Digital Futures 2014, Proceedings of Three KES Conferences: Intelligent Decision Technologies (KES-IDT-14), Intelligent Interactive Multimedia Systems and Services (KES-IIMSS-14), and Smart Technology-based Education and Training (KES-STET-14), Chania, Crete, Greece, 18-20 June 2014}, editor = {Rui Neves-Silva and George A. Tshirintzis and Vladimir Uskov and Robert J. Howlett and Lakhmi C. Jain}, volume = {262}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-61499-405-3}, }