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: https://orcid.org/0000-0002-0811-0226 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]
Preview
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
URI: https://orca.cardiff.ac.uk/id/eprint/124050

Citation Data

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

Actions (repository staff only)

Edit Item Edit Item

Downloads

Downloads per month over past year

View more statistics