CS Other Presentations

Department of Computer Science - University of Cyprus

Besides Colloquiums, the Department of Computer Science at the University of Cyprus also holds Other Presentations (Research Seminars, PhD Defenses, Short Term Courses, Demonstrations, etc.). These presentations are given by scientists who aim to present preliminary results of their research work and/or other technical material. Other Presentations serve as a forum for educating Computer Science students and related announcements are disseminated to the Department of Computer Science (i.e., the csall list):
rss RSS Directions Directions

Presentations Coordinator: Demetris Zeinalipour

PhD Defense: Adaptive and Dynamic Argumentation, Mr. Evgenios Hadjisoteriou (University of Cyprus, Cyprus), Friday, May 20, 2016, 10:30-11:30 EET.

The Department of Computer Science at the University of Cyprus cordially invites you to the PhD Defense entitled:

Adaptive and Dynamic Argumentation

Speaker: Mr. Evgenios Hadjisoteriou
Affiliation: University of Cyprus, Cyprus
Category: PhD Defense
Location: Room 148, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Friday, May 20, 2016
Time: 10:30-11:30 EET
Host: Antonis Kakas (antonis-AT-cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/presentations.php?speaker=cs.ucy.pres.2016.hadjisoteriou

In this thesis we study adaptive and dynamic argumentation for decision making where decisions need to adapt to personal preferences and dynamically changing problem environment. We study how logic-based reasoning about actions and change can be formalized in terms of argumentation to support such a dynamic decision framework. In particular, the earlier work of translating the language E for RAC into a logic-based argumentation framework (AF) is extended by introducing new types of arguments for (i) backward persistence and (ii) persistence from observations. This framework enables adaptation over time and allows dynamic changes in the problem environment to be handled over time. We illustrate this by formalizing the details of the decision problem of choosing a hotel to stay at according to users’ preferences and purposes of going on a trip. A new way to formalizing and computing argumentation through matrices is also studied. Abstract Argumentation is interpreted in terms of matrix multiplication and we present matrix operation algorithms that can answer whether a given set of arguments is part of an argumentation extension under the various semantics of Abstract Argumentation.

Short Bio:
Evgenios Hadjisoteriou is a PhD student at the Department of Computer Science, University of Cyprus. In 2005 he got his BSc in Applied Mathematics from the Department of Mathematics of the National and Kapodistrian University of Athens and in 2006 his MSc in Mathematical Logic and the Theory of Computation from the School of Mathematics at the University of Manchester. His research interests focus mainly in the area of argumentation and preference reasoning, and reasoning about actions and change.

  Other Presentations Web: https://www.cs.ucy.ac.cy/colloquium/presentations.php
  Colloquia Web: https://www.cs.ucy.ac.cy/colloquium/
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.pres.2016.hadjisoteriou.ics