José Pedro
Cabalar Fernández
Catedrático de Universidade
Rodrigo
Martin
Publicacións nas que colabora con Rodrigo Martin (1)
2019
-
Minish HAT:: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
XoveTIC 2019: The 2nd XoveTIC Conference (XoveTIC 2019), A Coruña, Spain, 5–6 September