Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Kakas, Antonis"

Now showing items 1-3 of 3

    • Article  

      Cognitive Argumentation for Human Syllogistic Reasoning 

      Saldanha, Emmanuelle-Anna Dietz; Kakas, Antonis (2019)
      This paper brings together work from the psychology of reasoning and computational argumentation in AI to propose a cognitive computational model for human reasoning and in particular for human syllogistic reasoning. The ...
    • Article  

      Informalizing Formal Logic 

      Kakas, Antonis (2019)
      This paper presents a way in which formal logic can be understood and reformulated in terms of argumentation that can help us unify formal and informal reasoning. Classical deductive reasoning will be expressed entirely ...
    • Conference Object  

      Integrating Machine Learning with Symbolic Reasoning to Build an Explainable AI Model for Stroke Prediction 

      Prentzas, Nicoletta; Nicolaides, Andrew; Kyriacou, Efthyvoulos; Kakas, Antonis; Pattichis, Constantinos (2019)
      Despite the recent recognition of the value of Artificial Intelligence and Machine Learning in healthcare, barriers to further adoption remain, mainly due to their "black box" nature and the algorithm's inability to explain ...