Welcome to the UPF Digital Repository

Browsing Articles (Departament de Tecnologies de la Informació i les Comunicacions) by Author "Calvanese, Diego"

Browsing Articles (Departament de Tecnologies de la Informació i les Comunicacions) by Author "Calvanese, Diego"

Sort by: Order: Results:

  • Calvanese, Diego; Cosmo, Francesco di; Lobo, Jorge; Montali, Marco (CEUR Workshop Proceedings, 2021)
    Logic-based languages, such as Datalog and Answer Set Programming, have been recently put forward as a data-centric model to effectively specify and implement network services and protocols, seeing them as dynamic systems ...

Search DSpace


Advanced Search

Browse

My Account

In collaboration with Compliant to Partaking