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: | 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 |
Download Statistics
Download Statistics