Output details
11 - Computer Science and Informatics
University of Dundee
Article title
Proving Propositional Tautologies in a Natural Dialogue
Type
D - Journal article
Title of journal
Fundamenta Informaticae
Article number
-
Volume number
126
Issue number
1-2
First page of article
239
ISSN of journal
0169-2968
Year of publication
2013
URL
-
Number of additional authors
2
Additional information
<11> The paper proposes a first formal dialogue system LND which allows communicating agents not only to attack and persuade each other about the facts (i.e. premises and a conclusion of argumentation), but also about an inference scheme used in the argument to prove the conclusion. Presented at invited lectures in Canada and Spain, this research laid the foundations for the Exploring Rhetorical Strategies in a Dialogue project (Polish Science Centre; 2011/03/B/HS1/04559; L34k; rating 2nd out of 17 projects and the highest funds in the philosophical subpanel); and for Yaskorska's 12-month scholarship at Lugano (Swiss Sciex Programme; SCIEX-NMS12.257; L43k).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
