Towards a logic lab on the cloud: desktop and mobile sessions

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 having to download, compile, install and configure the solver. The technique ca...

Full description

Main Author: Rodríguez Aguilar, Debora
Other Authors: Morales Rocha, Victor Manuel
Format: Memoria in extenso
Language: en_US
Published: CEUR 2018
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items