Search
Now showing items 1-10 of 58
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 ...
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 ...
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 ...
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 ...
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 ...
aspBEEF: Explaining Predictions Through Optimal Clustering
(MDPI AG, 2020-08-28)
[Abstract]
In this paper we introduce aspBEEF, a tool for generating explanations for the outcome of an arbitrary machine learning classifier. This is done using Grover’s et al. framework known as Balanced English ...
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 ...
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 ...
Experimental Analysis of the Relevance of Features and Effects on Gender Classification Models for Social Media Author Profiling
(SCITEPRESS, 2021)
[Abstract] Automatic user profiling from social networks has become a popular task due to its commercial applications
(targeted advertising, market studies...). Automatic profiling models infer demographic characteristics
of ...
Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
(M D P I AG, 2019-07-31)
[Abstract] When it comes to the writing of a new logic program or theory, it is of great importance to obtain a concise and minimal representation, for simplicity and ease of interpretation reasons. There are already a few ...
