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

Julkaisun otsikon käännös: A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN

Aapo Alasuutari
, Kazumi Nakamatsu
, Jair Minore Abe

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)

Julkaisun otsikon käännös	A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN
Alkuperäiskieli	Englanti
Otsikko	Smart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014
Kustantaja	IOS Press
Sivut	248 - 257
Sivumäärä	10
ISBN (elektroninen)	978-1-61499-405-3
ISBN (painettu)	978-1-61499-404-6
DOI - pysyväislinkit	https://doi.org/10.3233/978-1-61499-405-3-248
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	International Conference on Intelligent Decision Technologies - Kesto: 1 tammik. 2014 → …

Julkaisusarja

Nimi	Frontiers in Artificial Intelligence and Applications
Vuosikerta	262
ISSN (painettu)	0922-6389

Conference

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

Julkaisufoorumi-taso

Ei tasoa

Pääsy asiakirjaan

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

Siteeraa tätä

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

@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. 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

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).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 -