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..
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. |