|
|||||
|
|
An executable specification of a formal argumentation protocol |
|
| Affiliation: | 1. Institute of Informatics & Telecommunications, NCSR “Demokritos”, Athens, 15310, Greece;2. Department of Computing, Imperial College London, SW7 2AZ, UK;3. Department of Electrical & Electronic Engineering, Imperial College London, SW7 2BT, UK |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |