A model-based theorem prover for epistemic graphs for argumentation
From MaRDI portal
Publication:2297749
DOI10.1007/978-3-030-29765-7_5OpenAlexW2971611732MaRDI QIDQ2297749
Sylwia Polberg, Anthony Hunter
Publication date: 20 February 2020
Full work available at URL: http://orca.cf.ac.uk/124050/1/autoepigraph.pdf
Related Items
This page was built for publication: A model-based theorem prover for epistemic graphs for argumentation