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].
Mapping Action Language BC to Logic Programs: A Characterization by Postulates
Authors: Haodi Zhang, Fangzhen Lin
AAAI 2016 | Venue PDF | LLM Run Details
| 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. |