Output details
11 - Computer Science and Informatics
University of Dundee
Perseus. : Software for analyzing persuasion process
<11> The paper presents the implementation of AGn logic (Budzynska & Kacprzak 2008) introducing a new method of parametric verification. It allows the model-checker Perseus to investigate properties of multi-agent systems. The research was applied to solve well-known logical puzzles such as the Muddy Children Problem. The authors' cooperation in this work catalysed the formation of ArgDiaP -- an interdisciplinary initiative which led to nine conferences (2008-2012) visited by computer scientists, logicians and linguists from Canada, Germany, Netherlands, UK and US. In 2012, the Stanford Encyclopedia of Philosophy recognized ArgDiaP as internationally one of the top five events in argument studies.