Citation

BibTex format

@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}
}

RIS format (EndNote, RefMan)

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 -

Contact us

Artificial Intelligence Network
South Kensington Campus
Imperial College London
SW7 2AZ

To reach the elected speaker of the network, Dr Rossella Arcucci, please contact:

ai-speaker@imperial.ac.uk

To reach the network manager, Diana O'Malley - including to join the network - please contact:

ai-net-manager@imperial.ac.uk