Minimal Undefinedness for Fuzzy Answer Sets
Authors: Mario Alviano, Giovanni Amendola, Rafael Pealoza
AAAI 2017 | Conference PDF | Archive PDF | Plain Text | 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 {alviano,amendola}@mat.unical.it Rafael Pe naloza KRDB Research Centre Free University of Bozen-Bolzano, Italy rafael.penaloza@unibz.it |
| 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} |