Listar GI-IRlab-Artigos por título
Mostrando ítems 1-20 de 31
-
A Polynomial Reduction of Forks Into Logic Programs
(Elsevier, 2022)[Abstract] In this research note we present additional results for an earlier published paper [1]. There, we studied the problem of projective strong equivalence (PSE) of logic programs, that is, checking whether two logic ... -
Accelerating 3D printing of pharmaceutical products using machine learning
(Elsevier, 2022)[Abstract] Three-dimensional printing (3DP) has seen growing interest within the healthcare industry for its ability to fabricate personalized medicines and medical devices. However, it may be burdened by the lengthy ... -
ALBAYZIN 2018 spoken term detection evaluation: a multi-domain international evaluation in Spanish
(SpringerOpen, 2019-09-02)[Abstract] Search on speech (SoS) is a challenging area due to the huge amount of information stored in audio and video repositories. Spoken term detection (STD) is an SoS-related task aiming to retrieve data from a speech ... -
ALBAYZIN Query-by-example Spoken Term Detection 2016 evaluation
(SpringerOpen & European Association for Signal Processing, 2018)[Abstract]: Query-by-example Spoken Term Detection (QbE STD) aims to retrieve data from a speech repository given an acoustic (spoken) query containing the term of interest as the input. This paper presents the systems ... -
Automatic depression score estimation with word embedding models
(Elsevier, 2022)[Abstract]: Depression is one of the most common mental health illnesses. The biggest obstacle lies in an efficient and early detection of the disorder. Self-report questionnaires are the instruments used by medical experts ... -
Building Cultural Heritage Reference Collections from Social Media through Pooling Strategies: The Case of 2020’s Tensions Over Race and Heritage
(2021)[Abstract] Social networks constitute a valuable source for documenting heritage constitution processes or obtaining a real-time snapshot of a cultural heritage research topic. Many heritage researchers use social networks ... -
Business failure prediction models with high and stable predictive power over time using genetic programming
(Springer, 2024)[Abstract]: This study focuses on the deterioration of the predictive power and the analysis of the predictive stability of business failure prediction models, an aspect not sufficiently analysed in previous research. ... -
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
(MDPI, 2022)[Abstract] Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving. Equilibrium logic extends answer set semantics ... -
Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends
(Elsevier, 2023-12)[Abstract]: Deep Learning (DL), a groundbreaking branch of Machine Learning (ML), has emerged as a driving force in both theoretical and applied Artificial Intelligence (AI). DL algorithms, rooted in complex and non-linear ... -
Equilibrium graphs
(Springer, 2019)[Abstract]: In this paper we present an extension of Peirce’s existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this formalisation, logical connectives ... -
Evolving Cellular Automata Schemes for Protein Folding Modeling Using the Rosetta Atomic Representation
(Springer, 2022)[Abstract] Protein folding is the dynamic process by which a protein folds into its final native structure. This is different to the traditional problem of the prediction of the final protein structure, since it requires ... -
Explainable depression symptom detection in social media
(Springer, 2024-09)[Abstract]: Users of social platforms often perceive these sites as supportive spaces to post about their mental health issues. Those conversations contain important traces about individuals’ health risks. Recently, ... -
Forgetting Auxiliary Atoms in Forks
(Elsevier Ltd, 2019)[Abstract]: In this work we tackle the problem of checking strong equivalence of logic programs that may contain local auxiliary atoms, to be removed from their stable models and to be forbidden in any external context. ... -
Hybrid Intelligence Strategies for Identifying, Classifying and Analyzing Political Bots
(MDPI, 2021)[Abstract] Political bots, through astroturfing and other strategies, have become important players in recent elections in several countries. This study aims to provide researchers and the citizenry with the necessary ... -
IAT/ML: a metamodel and modelling approach for discourse analysis
(Springer Science and Business Media Deutschland GmbH, 2024)[Abstract]: Language technologies are gaining momentum as textual information saturates social networks and media outlets, compounded by the growing role of fake news and disinformation. In this context, approaches to ... -
Linear-Time Temporal Answer Set Programming
(Cambridge University Press, 2023)[Abstract]: In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax of this extension of logic programs ... -
M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines
(Elsevier B.V., 2020-11)[Abstract]: Artificial intelligence (AI) has the potential to reshape pharmaceutical formulation development through its ability to analyze and continuously monitor large datasets. Fused deposition modeling (FDM) ... -
Machine learning predicts 3D printing performance of over 900 drug delivery systems
(Elsevier B.V., 2021-09)[Abstract]: Three-dimensional printing (3DP) is a transformative technology that is advancing pharmaceutical research by producing personalized drug products. However, advances made via 3DP have been slow due to the lengthy ... -
Metric dynamic equilibrium logic
(Taylor and Francis Ltd., 2023)[Abstract]: In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behaviour of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it ... -
Model Explanation via Support Graphs
(Cambridge Univeristy Press, 2024-02)[Absctract]: In this note, we introduce the notion of support graph to define explanations for any model of a logic program. An explanation is an acyclic support graph that, for each true atom in the model, induces a proof ...
