Gilberto
Pérez Vega
Profesor Titular de Universidade
University of Nebraska at Omaha
Omaha, Estados UnidosPublicacións 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