Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

A model-based theorem prover for epistemic graphs for argumentation

Hunter, Anthony and Polberg, Sylwia ORCID: 2019. A model-based theorem prover for epistemic graphs for argumentation. Presented at: 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019), Belgrade, Serbia, 18-20 September 2019.

[thumbnail of autoepigraph.pdf]
PDF - Accepted Post-Print Version
Download (463kB) | Preview
Item Type: Conference or Workshop Item (Paper)
Status: In Press
Schools: Computer Science & Informatics
Date of First Compliant Deposit: 6 July 2019
Date of Acceptance: 11 June 2019
Last Modified: 26 Oct 2022 07:07

Citation Data

Cited 1 time in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item


Downloads per month over past year

View more statistics