Listar por autor "0000-0001-8213-400X"
Mostrando ítems 21-22 de 22
-
Towards a logic lab on the cloud: desktop and mobile sessions
Rodríguez Aguilar, Debora (CEUR, 2018-11)This case study proposes a novel system of the Internet as a service for Answer Set Programming (ASP) solvers, keeping open sessions for registered users, in such a way they can work ASP knowledge bases anywhere, without ... -
Towards a Logic lab on the Cloud: Desktop and Mobile Sessions
Rodriguez Aguilar, Debora (2019-01-15)This case study proposes a novel system of the Internet as a service for Answer Set Programming (ASP) solvers, keeping open sessions for registered users, in such a way they can work ASP knowledge bases anywhere, without ...