VIDEO DOI: https://doi.org/10.48448/aqvv-5p65

poster

ECAI 2020

August 31, 2020

Live on Underline

The Higher-Order Prover Leo-III

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

Actual Causality Canvas: A General Framework for Explanation-based Socio-Technical Constructs
technical paper

Actual Causality Canvas: A General Framework for Explanation-based Socio-Technical Constructs

ECAI 2020

Amjad Ibrahim
Amjad Ibrahim

31 August 2020