A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
| 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 | |
|---|
| Publication status | Published - 2014 |
|---|
| Publication type | A4 Article in a conference publication |
|---|
| Event | International Conference on Intelligent Decision Technologies -
Duration: 1 Jan 2014 → … |
|---|
| Name | Frontiers in Artificial Intelligence and Applications |
|---|
| Volume | 262 |
|---|
| ISSN (Print) | 0922-6389 |
|---|
| Conference | International Conference on Intelligent Decision Technologies |
|---|
| Period | 1/01/14 → … |
|---|
