A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN
Tutkimustuotos › › vertaisarvioitu
| 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 | |
|---|
| Tila | Julkaistu - 2014 |
|---|
| OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |
|---|
| Tapahtuma | International Conference on Intelligent Decision Technologies -
Kesto: 1 tammikuuta 2014 → … |
|---|
| Nimi | Frontiers in Artificial Intelligence and Applications |
|---|
| Vuosikerta | 262 |
|---|
| ISSN (painettu) | 0922-6389 |
|---|
| Conference | International Conference on Intelligent Decision Technologies |
|---|
| Ajanjakso | 1/01/14 → … |
|---|
