Picture for Ilias Tachmazidis

Ilias Tachmazidis

Benchmarking Defeasible Reasoning with Large Language Models -- Initial Experiments and Future Directions

Add code
Oct 16, 2024
Viaarxiv icon

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

Add code
Aug 04, 2020
Viaarxiv icon

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

Add code
Apr 19, 2018
Figure 1 for A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
Figure 2 for A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
Figure 3 for A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
Figure 4 for A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
Viaarxiv icon

A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report

Add code
Mar 12, 2017
Figure 1 for A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report
Figure 2 for A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report
Figure 3 for A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report
Figure 4 for A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report
Viaarxiv icon

Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report

Add code
Nov 18, 2014
Figure 1 for Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report
Figure 2 for Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report
Figure 3 for Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report
Viaarxiv icon

Efficient Computation of the Well-Founded Semantics over Big Data

Add code
May 11, 2014
Figure 1 for Efficient Computation of the Well-Founded Semantics over Big Data
Figure 2 for Efficient Computation of the Well-Founded Semantics over Big Data
Figure 3 for Efficient Computation of the Well-Founded Semantics over Big Data
Viaarxiv icon