Notice: This website is continuously updated as new conference proceedings and journal volumes are published. Consequently, the figures presented here may differ from those reported in our publications.
A brief overview of our methodology is provided on the Methods page, along with references to publications documenting our approach and links to the code and data used in each study.
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.
Mapping Action Language BC to Logic Programs: A Characterization by Postulates
Authors: Haodi Zhang, Fangzhen Lin
AAAI 2016 | Venue PDF | LLM Run Details | Input Tokens: 15,451 Total number of tokens sent to the LLM as input for this paper's analysis. | Output Tokens: 3,161 Total number of tokens produced by the LLM (including reasoning/thinking tokens) for this paper's analysis.
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we consider action language BC and show that a standard mapping from BC action descriptions to logic programs can be similarly captured when the action rules in the descriptions do not have consistency conditions. |
| Researcher Affiliation | Academia | Haodi Zhang and Fangzhen Lin Department of Computer Science and Engineering Hong Kong University of Science and Technology Clearwater Bay, Kowloon, Hong Kong |
| Pseudocode | No | The paper does not contain any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper is theoretical and does not mention releasing any source code. |
| Open Datasets | No | The paper is theoretical and does not use datasets for training or any other purpose. |
| Dataset Splits | No | The paper is theoretical and does not describe experiments or data splits for validation. |
| Hardware Specification | No | The paper is theoretical and does not describe any computational experiments, thus no hardware specifications are provided. |
| Software Dependencies | No | The paper is theoretical and does not involve computational implementations, so no software dependencies with version numbers are listed. |
| Experiment Setup | No | The paper is theoretical and does not describe any experimental setup or hyperparameters. |