Listar Grupos de investigación por autor "Cabalar, Pedro"

Mostrando ítems 1-16 de 16

    • 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 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 ...

    • 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 ...

    • 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 ...

    • Equilibrium graphs 

      Cabalar, Pedro; Pérez Ramil, Carlos; Pérez, Gilberto (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 ...

    • Forgetting Auxiliary Atoms in Forks 

      Aguado, Felicidad; Cabalar, Pedro; Fandiño, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción (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. ...

    • Linear-Time Temporal Answer Set Programming 

      Aguado, Felicidad; Cabalar, Pedro; Diéguez Lodeiro, Martín; Pérez, Gilberto; Schaub, Torsten; Schuhmann, Anna; Vidal, Concepción (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 

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

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

      Becker, Arvid; Cabalar, Pedro; Diéguez Lodeiro, Martín; Farinas del Cerro, Luis; Schaub, Torsten; Schuhmann, Anna (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 ...

    • Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming 

      Martín Prieto, Rodrigo; Cabalar, Pedro (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 ...

    • Model Explanation via Support Graphs 

      Cabalar, Pedro; Muñiz, Brais (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 ...

    • 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 ...

    • 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 ...