You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Dundee » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Dundee

Return to search Previous output Next output

Output 28 of 41 in the submission

Article title

Perseus. : Software for analyzing persuasion process

Type

D - Journal article

DOI

10.3233/FI-2009-0088

Title of journal

Fundamenta Informaticae

Article number

Volume number

Issue number

1-3

First page of article

ISSN of journal

0169-2968

Year of publication

2009

URL

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract