• On the semantics of hybrid ASP systems based on Clingo 

      Cabalar, Pedro; Fandinno, Jorge; Schaub, Torsten; Wanko, Philipp (MDPI, 2023-03)
      [Abstract]: Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult ...
    • Predicting pharmaceutical inkjet printing outcomes using machine learning 

      Carou-Senra, Paola; Ong, Jun Jie; Muñiz, Brais; Seoane-Viaño, Iria; Rodríguez-Pombo, Lucía; Cabalar, Pedro; Álvarez-Lorenzo, Carmen; Basit, Abdul W; Pérez, Gilberto; Goyanes, Álvaro (Elsevier B.V., 2023)
      [Abstract]: Inkjet printing has been extensively explored in recent years to produce personalised medicines due to its low cost and versatility. Pharmaceutical applications have ranged from orodispersible films to complex ...
    • Revisiting Explicit Negation in Answer Set Programming 

      Aguado, Felicidad; Cabalar, Pedro; Fandiño, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción (Cambridge University Press, 2019-09)
      [Abstract] A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in ...
    • Search on speech from spoken queries: the Multi-domain International ALBAYZIN 2018 Query-by-Example Spoken Term Detection Evaluation 

      Tejedor, Javier; Toledano, Doroteo T.; López-Otero, Paula; Docío-Fernández, Laura; Peñagarikano, Mikel; Rodríguez-Fuentes, Luis Javier; Moreno-Sandoval, Antonio (SpringerOpen, 2019-07-19)
      [Abstract] The huge amount of information stored in audio and video repositories makes search on speech (SoS) a priority area nowadays. Within SoS, Query-by-Example Spoken Term Detection (QbE STD) aims to retrieve data ...
    • Software Support for Discourse-Based Textual Information Analysis: A Systematic Literature Review and Software Guidelines in Practice 

      Martín-Rodilla, Patricia; Sánchez, Miguel (MDPI AG, 2020-05-07)
      [Abstract] The intrinsic characteristics of humanities research require technological support and software assistance that also necessarily goes through the analysis of textual narratives. When these narratives become ...
    • Syntactic ASP forgetting with forks 

      Aguado, Felicidad; Cabalar, Pedro; Fandiño, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción (Elsevier, 2024-01)
      [Abstract]: Answer Set Programming (ASP) constitutes nowadays one of the most successful paradigms for practical Knowledge Representation and declarative problem solving. The formal analysis of ASP programs is essential ...
    • Using score distributions to compare statistical significance tests for information retrieval evaluation 

      Parapar, Javier; Losada, David E.; Presedo-Quindimil, Manuel-Antonio; Barreiro, Álvaro (Willey, 2019-01-11)
      [Abstract] Statistical significance tests can provide evidence that the observed difference in performance between two methods is not due to chance. In Information Retrieval, some studies have examined the validity and ...
    • Variable selection in the prediction of business failure using genetic programming 

      Beade, José; Rodríguez Seijo, José Manuel; Santos Reyes, José (Elsevier B.V., 2024-04-08)
      This study focuses on dimensionality reduction by variable selection in business failure prediction models. A new method of dimensionality reduction by variable selection using Genetic Programming is proposed, which takes ...