CITIC - Centre for Information and Communications Technology Research
Research Center and Specialization Campus
University of Nebraska at Omaha
Omaha, Estados UnidosPublications in collaboration with researchers from University of Nebraska at Omaha (5)
2024
-
Syntactic ASP forgetting with forks
Artificial Intelligence, Vol. 326
2022
-
A polynomial reduction of forks into logic programs
Artificial Intelligence, Vol. 308
-
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
Algorithms, Vol. 15, Núm. 6
-
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