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 Coakley et alK. L. Coakley, T. Snelleman, H. Hoos, and O. E. Gundersen, "The embrace of open science: An analysis of a decade of AI research and 56 800 conference papers," Under Review, 2026..
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. |