TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

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

Tutkimustuotosvertaisarvioitu

Standard

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. s. 248 - 257 (Frontiers in Artificial Intelligence and Applications; Vuosikerta 262).

Tutkimustuotosvertaisarvioitu

Harvard

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

APA

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

Vancouver

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

Author

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

Bibtex - Lataa

@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",
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",

}

RIS (suitable for import to EndNote) - Lataa

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

ER -