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 → … |
---|