( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Forgetting auxiliary atoms in forks.

, , , , , и . Artif. Intell., (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gilberto Pérez

Gilberto Hernandez Perez

Roberto Francisco Pérez Benito

José Guadalupe Pérez-Ramírez

Elsa Pérez Rodriguez

 

Другие публикации лиц с тем же именем

A polynomial reduction of forks into logic programs., , , , , и . Artif. Intell., (2022)Forgetting auxiliary atoms in forks., , , , , и . Artif. Intell., (2019)Linear-Time Temporal Answer Set Programming., , , , , , и . Theory Pract. Log. Program., 23 (1): 2-56 (2023)A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation., , , , , и . ICLP Technical Communications, том 306 из EPTCS, стр. 266-272. (2019)Syntactic ASP Forgetting with Forks., , , , , и . LPNMR, том 13416 из Lecture Notes in Computer Science, стр. 3-15. Springer, (2022)Explicit Negation in Linear-Dynamic Equilibrium Logic., , , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 569-576. IOS Press, (2020)Equilibrium graphs., , и . Ann. Math. Artif. Intell., 86 (1-3): 3-19 (2019)Explainable Machine Larning for liver transplantation., , , и . CoRR, (2021)Temporal Answer Set Programming., , , , , , и . CoRR, (2020)Forgetting Auxiliary Atoms in Forks (Extended Abstract)., , , , , и . IJCAI, стр. 5005-5009. ijcai.org, (2020)Journal track.