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.

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