Propositional Horn Clause Logic Dataset

doi:doi:10.57702/evwo4rt2

You're currently viewing an old version of this dataset. To see the current version, click here.

Propositional Horn Clause Logic Dataset

The dataset used in this paper is a collection of questions and answers related to logic programming, with a focus on propositional Horn clause logic.

Data and Resources

Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
Explore
- Preview
- Download

Cite this as

Paul Tarau (2024). Dataset: Propositional Horn Clause Logic Dataset. https://doi.org/10.57702/evwo4rt2

DOI retrieved: December 16, 2024

Additional Info

Field	Value
Created	December 16, 2024
Last update	December 16, 2024
Defined In	https://doi.org/10.48550/arXiv.2306.14077
Author	Paul Tarau