Autoepigraph swMATH ID: 33594 Software Authors: Hunter, Anthony; Polberg, Sylwia Description: A model-based theorem prover for epistemic graphs for argumentation. Epistemic graphs are a recent proposal for probabilistic argumentation that allows for modelling an agent’s degree of belief in an argument and how belief in one argument may influence the belief in other arguments. These beliefs are represented by probability distributions and how they affect each other is represented by logical constraints on these distributions. Within the full language of epistemic constraints, we distinguish a restricted class which offers computational benefits while still being powerful enough to allow for handling of many other argumentation formalisms and that can be used in applications that, for instance, rely on Likert scales. In this paper, we propose a model-based theorem prover for reasoning with the restricted epistemic language. Homepage: http://www0.cs.ucl.ac.uk/staff/A.Hunter/papers/autoepigraph.py Keywords: probabilistic argumentation; epistemic argumentation; abstract argumentation Related Software: Cited in: 1 Document Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A model-based theorem prover for epistemic graphs for argumentation. Zbl 07170122Hunter, Anthony; Polberg, Sylwia 2019 Cited by 2 Authors 1 Hunter, Anthony 1 Polberg, Sylwia Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year