A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN
Tutkimustuotos › › vertaisarvioitu
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 → … |
---|