BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260916T193446Z
UID:Seminar-dept-320@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20130430T160000
DTEND:20130430T170000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Sanjay Modgil: Argumentation, non-monotonic reasoning and classical logic\n\nArgumentation is emerging as the predominant logic-based paradigm for\n\nreasoning in the presence of uncertainty and conflict. In this talk I will\n\nbegin by addressing the question: "Argumentation - what's all the fuss about ?", by highlighting features that distinguish argumentation from traditional \n\napproaches to non-monotonic reasoning, and the importance of these \n\nfeatures in a wider AI context. I will then further illustrate by briefly reviewing two recent research developments. The first (undertaken in collaboration with \n\nHenry Prakken) describes a framework for argumentation applied to \n\nconflict resolution in Tarksian logics. I will then  briefly present a special case \n\nof this framework and show that it corresponds to the well known non-monotonic formalism of Brewka (i.e., Preferred Subtheories). The second (undertaken in collaboration with Marcello D'Agostino) describes an approach\n\nto argumentation over inconsistent classical logic theories, that takes\n\ninto account resource bounds on the reasoning capacities of agents \n\ninvolved in the construction and exchange of arguments.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=320
LOCATION:G12
END:VEVENT
END:VCALENDAR