A Model-Based Theorem Prover for Epistemic Graphs for Argumentation.

Anthony Hunter, Sylwia Polberg

Browse the full ECSQARU paper archive.