Main content
Enumerating Justifications using Resolution (DL17)
Date created: | Last Updated:
: DOI | ARK
Creating DOI. Please wait...
Category: Data
Description: This repository contains results of empirical evaluation of the procedure described in article Enumerating Justifications using Resolution, as well as input for this evaluation. The scripts and programs used to perform the evaluation can be found here .