Published July 5, 2023 | Version v1
Conference paper Open

Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics

Authors/Creators

  • 1. University of Calabria

Description

This repository contains benchmarks and source code used to assess compilation-based approach proposed for well-founded semantics.

Files

Code_and_Benchmarks.zip

Files (1.3 GB)

Name Size
md5:d0922a31ebb2b46c0502642d4dfd7dd1
1.3 GB Preview Download