Picture for Stefano Germano

Stefano Germano

Computing CQ lower-bounds over OWL 2 through approximation to RSA

Add code
Jul 01, 2021
Figure 1 for Computing CQ lower-bounds over OWL 2 through approximation to RSA
Figure 2 for Computing CQ lower-bounds over OWL 2 through approximation to RSA
Figure 3 for Computing CQ lower-bounds over OWL 2 through approximation to RSA
Figure 4 for Computing CQ lower-bounds over OWL 2 through approximation to RSA
Viaarxiv icon

LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report

Add code
Sep 15, 2017
Figure 1 for LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
Figure 2 for LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
Figure 3 for LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
Viaarxiv icon

A Framework for Easing the Development of Applications Embedding Answer Set Programming

Add code
Jul 21, 2017
Figure 1 for A Framework for Easing the Development of Applications Embedding Answer Set Programming
Figure 2 for A Framework for Easing the Development of Applications Embedding Answer Set Programming
Viaarxiv icon