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 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.

[img]
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: 16 Jul 2019 11:07
URI: http://orca.cf.ac.uk/id/eprint/124050

Actions (repository staff only)

Edit Item Edit Item

Downloads

Downloads per month over past year

View more statistics