110 citations · 185 across the 10 of their papers we have counts for
10 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…
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…
Rethinking Defeasible Reasoning: A Scalable Approach
Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou +2
Recent technological advances have led to unprecedented amounts of generated data that originate from the Web, sensor networks and social media. Analytics in terms of defeasible re…
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…