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

Aapo Alasuutari; Kazumi Nakamatsu; Jair Minore Abe

doi:10.3233/978-1-61499-405-3-248

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

Aapo Alasuutari
, Kazumi Nakamatsu
, Jair Minore Abe

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

Translated title of the contribution	A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN
Original language	English
Title of host publication	Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014
Publisher	IOS Press
Pages	248 - 257
Number of pages	10
ISBN (Electronic)	978-1-61499-405-3
ISBN (Print)	978-1-61499-404-6
DOIs	https://doi.org/10.3233/978-1-61499-405-3-248
Publication status	Published - 2014
Publication type	A4 Article in conference proceedings
Event	International Conference on Intelligent Decision Technologies - Duration: 1 Jan 2014 → …

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	262
ISSN (Print)	0922-6389

Conference

Conference	International Conference on Intelligent Decision Technologies
Period	1/01/14 → …

Publication forum classification

No publication forum level

Access to Document

10.3233/978-1-61499-405-3-248

Cite this

Alasuutari, A., Nakamatsu, K., & Abe, J. M. (2014). A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN. In Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014 (pp. 248 - 257). (Frontiers in Artificial Intelligence and Applications; Vol. 262). IOS Press. https://doi.org/10.3233/978-1-61499-405-3-248

@inproceedings{ef3da55872964dce9261a7ea3b5220f2,

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

author = "Aapo Alasuutari and Kazumi Nakamatsu and Abe, \{Jair Minore\}",

note = "Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2015-01-27<br/>Publisher name: IOS Press; International Conference on Intelligent Decision Technologies ; Conference date: 01-01-2014",

year = "2014",

doi = "10.3233/978-1-61499-405-3-248",

language = "English",

isbn = "978-1-61499-404-6",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "248 -- 257",

booktitle = "Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014",

address = "Netherlands",

}

Alasuutari, A, Nakamatsu, K & Abe, JM 2014, A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN. in Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014. Frontiers in Artificial Intelligence and Applications, vol. 262, IOS Press, pp. 248 - 257, International Conference on Intelligent Decision Technologies, 1/01/14. https://doi.org/10.3233/978-1-61499-405-3-248

A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN. / Alasuutari, Aapo; Nakamatsu, Kazumi; Abe, Jair Minore.
Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014. IOS Press, 2014. p. 248 - 257 (Frontiers in Artificial Intelligence and Applications; Vol. 262).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

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

AU - Alasuutari, Aapo

AU - Nakamatsu, Kazumi

AU - Abe, Jair Minore

N1 - Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2015-01-27<br/>Publisher name: IOS Press

PY - 2014

Y1 - 2014

U2 - 10.3233/978-1-61499-405-3-248

DO - 10.3233/978-1-61499-405-3-248

M3 - Conference contribution

SN - 978-1-61499-404-6

T3 - Frontiers in Artificial Intelligence and Applications

SP - 248

EP - 257

BT - Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014

PB - IOS Press

T2 - International Conference on Intelligent Decision Technologies

Y2 - 1 January 2014

ER -