Gilberto
Pérez Vega
Profesor Titular de Universidad
![Foto de Gilberto](/img/nophoto.png)
![Foto de University of Nebraska at Omaha](/img/noimage_org.png)
University of Nebraska at Omaha
Omaha, Estados UnidosPublicaciones en colaboración con investigadores/as de University of Nebraska at Omaha (4)
2024
-
Syntactic ASP forgetting with forks
Artificial Intelligence, Vol. 326
2022
-
A polynomial reduction of forks into logic programs
Artificial Intelligence, Vol. 308
-
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