In this section
@inproceedings{Jha:2020,
author = {Jha, R and Belardinelli, F and Toni, F},
pages = {940--947},
publisher = {ACM},
title = {Formal verification of debates in argumentation theory.},
url = {https://doi.org/10.1145/3341105},
year = {2020}
}
TY - CPAPER
AU - Jha,R
AU - Belardinelli,F
AU - Toni,F
EP - 947
PB - ACM
PY - 2020///
SP - 940
TI - Formal verification of debates in argumentation theory.
UR - https://doi.org/10.1145/3341105
ER -
Artificial Intelligence Network
South Kensington Campus
Imperial College London
SW7 2AZ
To reach the elected speaker of the network, Dr Rossella Arcucci, please contact:
To reach the network manager, Diana O'Malley - including to join the network - please contact: