GI-IRlab-Artigos: Envíos recentes

Mostrando ítems 11-15 de 27

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

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

    • Niching methods integrated with a differential evolution memetic algorithm for protein structure prediction 

      Varela, Daniel; Santos Reyes, José (Elsevier, 2022-06)
      [Abstract]: A memetic version between an evolutionary algorithm (differential evolution) and the local search provided by protein fragment replacements was defined for protein structure prediction. In this problem, it is ...

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