A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN

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]

Authors

Aapo Alasuutari

This author has not been identified. Look up 'Aapo Alasuutari' in Google

Kazumi Nakamatsu

This author has not been identified. Look up 'Kazumi Nakamatsu' in Google

Jair Minoro Abe

This author has not been identified. Look up 'Jair Minoro Abe' in Google