Now showing items 1-20 of 69

    • A Polynomial Reduction of Forks Into Logic Programs 

      Aguado, Felicidad; Cabalar, Pedro; Fandiño, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción (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 ...
    • A rule-based system for explainable donor-patient matching in liver transplantation 

      Aguado, Felicidad; Cabalar, Pedro; Fandiño, Jorge; Muñiz, Brais; Pérez, Gilberto; Suárez, Francisco (Open Publishing Association, 2019-09)
      [Abstract]: In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplantation unit for implementing policies for donor-patient matching. ...
    • A System for Explainable Answer Set Programming 

      Cabalar, Pedro; Fandinno, Jorge; Muñiz, Brais (Open Publishing Association, 2020-09-19)
      [Abstract] We present xclingo, a tool for generating explanations from ASP programs annotated with text and labels. These annotations allow tracing the application of rules or the atoms derived by them. The input of ...
    • A systematic review of automated hyperpartisan news detection 

      Maggini, Michele Joshua; Bassi, Davide; Piot, Paloma; Dias, Gaël; Gamallo, Pablo (PLoS, 2025-02)
      [Abstract]: Hyperpartisan news consists of articles with strong biases that support specific political parties. The spread of such news increases polarization among readers, which threatens social unity and democratic ...
    • Accelerating 3D printing of pharmaceutical products using machine learning 

      Ong, Jun Jie; Muñiz, Brais; Gaisford, Simon; Cabalar, Pedro; Basit, Abdul W; Pérez, Gilberto; Goyanes, Álvaro (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 

      Tejedor, Javier; Toledano, Doroteo T.; López-Otero, Paula; Docío-Fernández, Laura; Montalvo, Ana R.; Ramírez, José M.; Peñagarikano, Mikel; Rodríguez-Fuentes, Luis Javier (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 

      Tejedor, Javier; Toledano, Doroteo T.; López-Otero, Paula; Docío-Fernández, Laura; Proença, Jorge; Perdigão, Fernando; García-Granada, Fernando; Sanchis, Emilio; Pompili, Anna; Abad, Alberto (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 ...
    • aspBEEF: Explaining Predictions Through Optimal Clustering 

      Cabalar, Pedro; Martín, Rodrigo; Muñiz, Brais; Pérez, Gilberto (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 ...
    • Automatic depression score estimation with word embedding models 

      Pérez, Anxo; Parapar, Javier; Barreiro, Álvaro (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 ...
    • Automatic Selection of Financial Ratios by Means of Differential Evolution and for Predicting Business Insolvency 

      Santos Reyes, José; Sestayo Yermo, Óscar; Beade, Angel; Rodríguez López, Manuel (Springer, 2022)
      [Abstract]: Differential evolution was used for the automatic selection of financial ratios for the prediction of business insolvency. A sample of companies from the Galician economy is used to predict the insolvency of ...
    • Beaver: Efficiently Building Test Collections for Novel Tasks 

      Otero, David; Parapar, Javier; Barreiro, Álvaro (CEUR-WS, 2020-07)
      [Abstract]: Evaluation is a mandatory task for Information Retrieval research. Under the Cranfield paradigm, this evaluation needs test collections. The creation of these is a time and resource-consuming process. At the ...
    • Building Cultural Heritage Reference Collections from Social Media through Pooling Strategies: The Case of 2020’s Tensions Over Race and Heritage 

      Otero, David; Martín-Rodilla, Patricia; Parapar, Javier (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 ...
    • Building High-Quality Datasets for Information Retrieval Evaluation at a Reduced Cost 

      Otero, David; Valcarce, Daniel; Parapar, Javier; Barreiro, Álvaro (M D P I AG, 2019-08-01)
      [Abstract] Information Retrieval is not any more exclusively about document ranking. Continuously new tasks are proposed on this and sibling fields. With this proliferation of tasks, it becomes crucial to have a cheap way ...
    • Business failure prediction models with high and stable predictive power over time using genetic programming 

      Beade, Angel; Rodríguez López, Manuel; Santos Reyes, José (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. ...
    • Classification of empty lattice 4-simplices of width larger than 2 

      Iglesias Valiño, Óscar; Santos, Francisco (Elsevier B.V., 2017)
      [Abstract]: Combining an upper bound on the volume of empty lattice 4-simplices of large width with a computer enumeration we prove the following conjecture of Haase and Ziegler (2000): Except for 179 classes, of determinant ...
    • Classification of empty lattice 4-simplices of width larger than two 

      Iglesias Valiño, Óscar; Santos, Francisco (American Mathematical Society, 2019)
      [Abstract]: Rd. It is called empty if it contains no lattice point apart of its d + 1 vertices. The classification of empty 3-simplices is known since 1964 (White), based on the fact that they all have width one. But for ...
    • Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs 

      Fandiño, Jorge; Pearce, David; Vidal, Concepción; Woltran, Stefan (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 

      Górriz, Juan M.; Álvarez-Illán, I.; Álvarez-Marquina, Agustín; Arco, Juan Eloy; Atzmueller, Martin; Ballarini, F.; Barakova, Emilia; Bologna, Guido; Duro, Richard J.; Santos Reyes, José (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 ...
    • Delving into the Depths: Evaluating Depression Severity through BDI-biased Summaries 

      Aragón, Mario Ezra; Parapar, Javier; Losada, David E. (Association for Computational Linguistics, 2024-03)
      [Abstract]: Depression is a global concern suffered by millions of people, significantly impacting their thoughts and behavior. Over the years, heightened awareness, spurred by health campaigns and other initiatives, has ...
    • Designing an Open Source Virtual Assistant 

      Pérez, Anxo; López-Otero, Paula; Parapar, Javier (MDPI AG, 2020-08-21)
      [Abstract] A chatbot is a type of agent that allows people to interact with an information repository using natural language. Nowadays, chatbots have been incorporated in the form of conversational assistants on the most ...