José Pedro
Cabalar Fernández
Catedrático de Universidad
Gilberto
Pérez Vega
Profesor Titular de Universidad
Publicaciones en las que colabora con Gilberto Pérez Vega (26)
2024
-
Syntactic ASP forgetting with forks
Artificial Intelligence, Vol. 326
2023
-
Predicting pharmaceutical inkjet printing outcomes using machine learning
International Journal of Pharmaceutics: X, Vol. 5
2022
-
A polynomial reduction of forks into logic programs
Artificial Intelligence, Vol. 308
-
Accelerating 3D printing of pharmaceutical products using machine learning
International Journal of Pharmaceutics: X, Vol. 4
-
Syntactic ASP Forgetting with Forks
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
A logic program transformation for strongly persistent forgetting
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Linear-Time Temporal Answer Set Programming
Theory and Practice of Logic Programming
-
Machine learning predicts 3D printing performance of over 900 drug delivery systems
Journal of Controlled Release, Vol. 337, pp. 530-545
2020
-
Explicit negation in linear-dynamic equilibrium logic
Frontiers in Artificial Intelligence and Applications
-
Forgetting auxiliary atoms in forks
IJCAI International Joint Conference on Artificial Intelligence
-
M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines
International Journal of Pharmaceutics, Vol. 590
2019
-
A rule-based system for explainable donor-patient matching in liver transplantation
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Equilibrium graphs
Annals of Mathematics and Artificial Intelligence, Vol. 86, Núm. 1-3, pp. 3-19
-
Forgetting auxiliary atoms in forks
Artificial Intelligence, Vol. 275, pp. 575-601
-
Revisiting Explicit Negation in Answer Set Programming
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 908-924
2017
-
Forgetting auxiliary atoms in forks
CEUR Workshop Proceedings
-
Temporal Equilibrium Logic with past operators
Journal of Applied Non-Classical Logics, Vol. 27, Núm. 3-4, pp. 161-177
-
Temporal logic programs with variables
Theory and Practice of Logic Programming, Vol. 17, Núm. 2, pp. 226-243
-
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
-
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