Publicacións nas que colabora con Gilberto Pérez Vega (26)

2024

  1. Syntactic ASP forgetting with forks

    Artificial Intelligence, Vol. 326

2023

  1. Predicting pharmaceutical inkjet printing outcomes using machine learning

    International Journal of Pharmaceutics: X, Vol. 5

2022

  1. A polynomial reduction of forks into logic programs

    Artificial Intelligence, Vol. 308

  2. Accelerating 3D printing of pharmaceutical products using machine learning

    International Journal of Pharmaceutics: X, Vol. 4

  3. Syntactic ASP Forgetting with Forks

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. A logic program transformation for strongly persistent forgetting

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Linear-Time Temporal Answer Set Programming

    Theory and Practice of Logic Programming

  3. Machine learning predicts 3D printing performance of over 900 drug delivery systems

    Journal of Controlled Release, Vol. 337, pp. 530-545

2020

  1. Explicit negation in linear-dynamic equilibrium logic

    Frontiers in Artificial Intelligence and Applications

  2. Forgetting auxiliary atoms in forks

    IJCAI International Joint Conference on Artificial Intelligence

  3. M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines

    International Journal of Pharmaceutics, Vol. 590

2019

  1. A rule-based system for explainable donor-patient matching in liver transplantation

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Equilibrium graphs

    Annals of Mathematics and Artificial Intelligence, Vol. 86, Núm. 1-3, pp. 3-19

  3. Forgetting auxiliary atoms in forks

    Artificial Intelligence, Vol. 275, pp. 575-601

  4. Revisiting Explicit Negation in Answer Set Programming

    Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 908-924

2017

  1. Forgetting auxiliary atoms in forks

    CEUR Workshop Proceedings

  2. Temporal Equilibrium Logic with past operators

    Journal of Applied Non-Classical Logics, Vol. 27, Núm. 3-4, pp. 161-177

  3. Temporal logic programs with variables

    Theory and Practice of Logic Programming, Vol. 17, Núm. 2, pp. 226-243

  4. Verification for ASP denotational semantics: A case study using the PVS theorem prover

    Logic Journal of the IGPL, Vol. 25, Núm. 2, pp. 195-213

2016

  1. Equilibrium graphs

    ASPOCP 2016 - 9th Workshop on Answer Set Programming and Other Computing Paradigms, Affiliated with the 32nd International Conference on Logic Programming, ICLP 2016