16 citations · 29 across the 6 of their papers we have counts for
6 papers
Benchmarking Defeasible Reasoning with Large Language Models -- Initial Experiments and Future Directions
Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou
Large Language Models (LLMs) have gained prominence in the AI landscape due to their exceptional performance. Thus, it is essential to gain a better understanding of their capabili…
Modal Logic S5 Satisfiability in Answer Set Programming
Mario Alviano, Sotiris Batsakis, George Baryannis
Modal logic S5 has attracted significant attention and has led to several practical applications, owing to its simplified approach to dealing with nesting modal operators. Efficien…
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis +3
Qualitative reasoning involves expressing and deriving knowledge based on qualitative terms such as natural language expressions, rather than strict mathematical quantities. Well o…
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis +4
Spatial information is often expressed using qualitative terms such as natural language expressions instead of coordinates; reasoning over such terms has several practical applicat…
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report
Ilias Tachmazidis, Sotiris Batsakis, John Davies +4
An increasing amount of information is generated from the rapidly increasing number of sensor networks and smart devices. A wide variety of sources generate and publish information…
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati +3
Abstract argumentation framework (\AFname) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentati…