Ilias Tachmazidis
YOU?
Author Swipe
View article: Model Checking Using Large Language Models—Evaluation and Future Directions
Model Checking Using Large Language Models—Evaluation and Future Directions Open
Large language models (LLMs) such as ChatGPT have risen in prominence recently, leading to the need to analyze their strengths and limitations for various tasks. The objective of this work was to evaluate the performance of large language …
View article: Benchmarking Defeasible Reasoning with Large Language Models -- Initial Experiments and Future Directions
Benchmarking Defeasible Reasoning with Large Language Models -- Initial Experiments and Future Directions Open
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 capabilities and limitations, among others in terms of nonmonotonic…
View article: Neuro Intel: A System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) Using Artificial Intelligence
Neuro Intel: A System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) Using Artificial Intelligence Open
Attention-Deficit Hyperactivity Disorder (ADHD) is a mental condition characterised by a pattern of inattention, hyperactivity, and/or impulsivity that causes significant impairment across various domains. Delayed diagnosis and treatment f…
View article: Diagnosing attention-deficit hyperactivity disorder (ADHD) using artificial intelligence: a clinical study in the UK
Diagnosing attention-deficit hyperactivity disorder (ADHD) using artificial intelligence: a clinical study in the UK Open
Attention-deficit hyperactivity disorder (ADHD) is a neurodevelopmental disorder affecting a large percentage of the adult population. A series of ongoing efforts has led to the development of a hybrid AI algorithm (a combination of a mach…
View article: Clinical Diagnosis of Attention Deficit Hyperactivity disorder (ADHD) using Artificial Intelligence (Preprint)
Clinical Diagnosis of Attention Deficit Hyperactivity disorder (ADHD) using Artificial Intelligence (Preprint) Open
BACKGROUND Attention-deficit hyperactivity disorder (ADHD) is a neurodevelopmental disorder characterised by a persistent pattern of inattention, hyperactivity, and/or impulsivity that causes significant impairment across various domains.…
View article: Data-Driven Decision Support for Adult Autism Diagnosis Using Machine Learning
Data-Driven Decision Support for Adult Autism Diagnosis Using Machine Learning Open
Adult referrals to specialist autism spectrum disorder diagnostic services have increased in recent years, placing strain on existing services and illustrating the need for the development of a reliable screening tool, in order to identify…
View article: Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning
Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning Open
Attention Deficit Hyperactivity Disorder (ADHD) is a neurodevelopmental disorder that includes symptoms such as inattentiveness, hyperactivity and impulsiveness. It is considered as an important public health issue, and prevalence of diagn…
View article: Large-Scale Legal Reasoning with Rules and Databases
Large-Scale Legal Reasoning with Rules and Databases Open
Traditionally, computational knowledge representation and reasoning focused its attention on rich domains such as the law. The main underlying assumption of traditional legal knowledge representation and reasoning is that knowledge and dat…
View article: A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming Open
Qualitative reasoning involves expressing and deriving knowledge based on qualitative terms such as natural language expressions, rather than strict mathematical quantities. Well over 40 qualitative calculi have been proposed so far, mostl…
View article: A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming Open
Qualitative reasoning involves expressing and deriving knowledge based on qualitative terms such as natural language expressions, rather than strict mathematical quantities. Well over 40 qualitative calculi have been proposed so far, mostl…
View article: The Availability, Pricing, and Affordability of Essential Diabetes Medicines in 17 Low-, Middle-, and High-Income Countries
The Availability, Pricing, and Affordability of Essential Diabetes Medicines in 17 Low-, Middle-, and High-Income Countries Open
Background: One third of the world population does not have access to essential medicines. Diabetes require a long-term therapy, which incurs significant health care cost and thus impact access and affordability. This study aims to assess …
View article: Hypercat JSON-LD
Hypercat JSON-LD Open
The rapidly increasing number of sensor networks and smart devices contributed to the generation of a huge amount of information. Information that is generated by various sources and is published in different formats high-lights interopera…
View article: Optimizing a Semantically Enriched Hypercat-Enabled Internet of Things Data Hub (Short Paper)
Optimizing a Semantically Enriched Hypercat-Enabled Internet of Things Data Hub (Short Paper) Open
Large volumes of data is generated from the increasing num-ber of sensor networks and smart devices. Such data is generated and published in multiple formats, thus highlighting the significance of inter-operability for the success of what …
View article: Legal Reasoning and Big Data: Opportunities and Challenges
Legal Reasoning and Big Data: Opportunities and Challenges Open
The main underlying assumption of traditional legal knowledge representation and reasoning is that knowledge and data are both available in main memory. However, in the era of big data, where large amounts of data are generated daily, an i…
View article: A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming Open
Spatial information is often expressed using qualitative terms such as natural language expressions instead of coordinates; reasoning over such terms has several practical applications, such as bus routes planning. Representing and reasoni…
View article: A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming Open
Spatial information is often expressed using qualitative terms such as natural language expressions instead of coordinates; reasoning over such terms has several practical applications, such as bus routes planning. Representing and reasoni…
View article: Legal Representation and Reasoning in Practice: A Critical Comparison
Legal Representation and Reasoning in Practice: A Critical Comparison Open
Representation and reasoning over legal rules is an important application domain and a number of related approaches have been developed. In this work, we investigate legal reasoning in practice based on three use cases of increasing comple…
View article: Representing Time and Space for the Semantic Web
Representing Time and Space for the Semantic Web Open
Representation of temporal and spatial information for the Semantic Web often involves qualitative defined information (i.e., information described using natural language terms such as “before” or “overlaps”) since precise dates or coordin…
View article: A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report Open
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 in different formats, thus highlighting interoperability a…
View article: Temporal representation and reasoning in OWL 2
Temporal representation and reasoning in OWL 2 Open
The representation of temporal information has been in the center of intensive research activities over the years in the areas of knowledge representation, databases and more recently, the Semantic Web. The proposed approach extends the ex…