Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in [1].
Minimal Undefinedness for Fuzzy Answer Sets
Authors: Mario Alviano, Giovanni Amendola, Rafael Pealoza
AAAI 2017 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | The algorithms are implemented in a prototype system extending FASP2SMT (Alviano and Pe naloza 2015), a FASP solver using Z3 (de Moura and Bjørner 2008) as backend. The performance of these algorithms is compared, on the same solver, with the use of the MINIMIZE instruction of Z3. |
| Researcher Affiliation | Academia | Mario Alviano, Giovanni Amendola Department of Mathematics and Computer Science University of Calabria, Italy EMAIL Rafael Pe naloza KRDB Research Centre Free University of Bozen-Bolzano, Italy EMAIL |
| Pseudocode | Yes | Algorithm 1: Binary Search(Π, U, ε) Algorithm 2: Progression Search(Π, U, ε) |
| Open Source Code | No | The paper states that algorithms were implemented in a prototype system extending FASP2SMT, but does not provide a specific link or explicit statement that their developed code is open-source or publicly available. |
| Open Datasets | No | The prototype system was tested empirically on satisfiable instances of Hamiltonian Cycle from the literature (Mushthofa, Schockaert, and Cock 2014; Alviano and Pe naloza 2015). While references are provided, they do not constitute concrete access information (e.g., a direct URL, DOI, or repository link) for the dataset itself. |
| Dataset Splits | No | The paper mentions testing but does not specify exact training, validation, or test dataset splits, percentages, or sample counts. |
| Hardware Specification | Yes | Each method was tested with threshold ε {0.1,0.01,0.001}, on an Intel Xeon CPU 2.4 GHz with 16 GB of RAM. |
| Software Dependencies | No | The paper mentions using FASP2SMT, Z3, ASP Core 2.0, and GRINGO, but does not specify version numbers for these software components as used in their experimental setup. |
| Experiment Setup | Yes | Each method was tested with threshold ε {0.1,0.01,0.001} |