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].
Incomplete Causal Laws in the Situation Calculus Using Free Fluents
Authors: Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardina
IJCAI 2016 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We prove that fundamental results about basic action theories can be fully recovered and that the generalized framework allows for natural specifications of various forms of incomplete causal laws. [...] Below we prove that fundamental theorems on BATs can be fully recovered in our relaxation. Specifically, relative satisfiability and the regression theorem still apply in our generalized theories. |
| Researcher Affiliation | Academia | Marcelo Arenas, Jorge A. Baier, Juan S. Navarro Universidad Cat olica de Chile EMAIL Sebastian Sardina RMIT University, Australia EMAIL |
| Pseudocode | No | The paper describes theoretical concepts and proofs but does not include any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any explicit statements about releasing source code or links to a code repository for the methodology described. |
| Open Datasets | No | This is a theoretical paper and does not use datasets for training; therefore, no information about public dataset access is provided. |
| Dataset Splits | No | This is a theoretical paper and does not involve experimental data splits; therefore, no training/test/validation split information is provided. |
| Hardware Specification | No | This is a theoretical paper and does not report on experiments; therefore, no hardware specifications are mentioned. |
| Software Dependencies | No | This is a theoretical paper and does not describe experimental implementations; therefore, no specific software dependencies with version numbers are listed. |
| Experiment Setup | No | This is a theoretical paper and does not involve experimental setups; therefore, no details on hyperparameters or training settings are provided. |