Tampere University of Technology

TUTCRIS Research Portal

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Original languageEnglish
Title of host publicationSmart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014
PublisherIOS Press
Pages248 - 257
Number of pages10
ISBN (Electronic)978-1-61499-405-3
ISBN (Print)978-1-61499-404-6
Publication statusPublished - 2014
Publication typeA4 Article in a conference publication
EventInternational Conference on Intelligent Decision Technologies -
Duration: 1 Jan 2014 → …

Publication series

NameFrontiers in Artificial Intelligence and Applications
ISSN (Print)0922-6389


ConferenceInternational Conference on Intelligent Decision Technologies
Period1/01/14 → …

Publication forum classification

Field of science, Statistics Finland