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].
Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics
Authors: Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro
IJCAI 2022 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we address another important problem, which is explaining why a query is not entailed under an inconsistency-tolerant semantics. In particular, we consider three popular semantics, namely, the ABox repair, the intersection of repairs, and the intersection of closed repairs. We provide a thorough complexity analysis for a wide range of existential rule languages and for several complexity measures. |
| Researcher Affiliation | Academia | Thomas Lukasiewicz1,2 , Enrico Malizia3 and Cristian Molinaro4 1Institute of Logic and Computation, TU Wien, Austria 2Department of Computer Science, University of Oxford, UK 3DISI, University of Bologna, Italy 4DIMES, University of Calabria, Italy |
| Pseudocode | No | The paper describes procedures in prose but does not include any pseudocode or clearly labeled algorithm blocks. |
| Open Source Code | No | The paper does not contain any statement about releasing source code for the described methodology, nor does it provide a link to a code repository. |
| Open Datasets | No | This is a theoretical paper focused on complexity analysis. It does not describe empirical experiments involving datasets or training procedures. |
| Dataset Splits | No | This is a theoretical paper. It does not involve empirical data or training/validation/test splits for models. |
| Hardware Specification | No | This is a theoretical paper on complexity analysis and does not describe any computational experiments that would require specific hardware specifications. |
| Software Dependencies | No | This is a theoretical paper. It refers to logical frameworks like Datalog, but does not specify any particular software implementations or libraries with version numbers that would be necessary to replicate experiments. |
| Experiment Setup | No | This is a theoretical paper. It does not describe an experimental setup with hyperparameters, training configurations, or other system-level settings. |