activity
20002026
most citedComputational Logic Foundations of KGP Agents

38 citations · 136 across the 14 of their papers we have counts for

collaborators

14 papers

cs.MA2026

rAIson: Developing Reliable Decision-Making Agents

Pavlos Moraitis, Nikolaos Spanoudakis, Antonis Kakas

This paper presents the rAIson platform, a high-level technological environment for the development of automated, reliable and explainable decision-making agents. The research unde…

cs.AI2025

Aristotle's Original Idea: For and Against Logic in the era of AI

Antonis C. Kakas

Aristotle is generally accepted as the father of logic. The ideas that he raised in his study of logical reasoning carried the development of science over the centuries. Today, in…

cs.AI2023★ 19 cited

Explainable AI applications in the Medical Domain: a systematic review

Nicoletta Prentzas, Antonis Kakas, Constantinos S. Pattichis

Artificial Intelligence in Medicine has made significant progress with emerging applications in medical imaging, patient care, and other areas. While these applications have proven…

cs.AI2021

Computational Argumentation and Cognition

Emmanuelle Dietz, Antonis Kakas, Loizos Michael

This paper examines the interdisciplinary research question of how to integrate Computational Argumentation, as studied in AI, with Cognition, as can be found in Cognitive Science,…

cs.AI2020★ 11 cited

Abduction and Argumentation for Explainable Machine Learning: A Position Survey

Antonis Kakas, Loizos Michael

This paper presents Abduction and Argumentation as two principled forms for reasoning, and fleshes out the fundamental role that they can play within Machine Learning. It reviews t…

cs.AI2020

Cognitive Argumentation and the Suppression Task

Emmanuelle-Anna Dietz Saldanha, Antonis Kakas

This paper addresses the challenge of modeling human reasoning, within a new framework called Cognitive Argumentation. This framework rests on the assumption that human logical rea…