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..
Action Language BC+: Preliminary Report
Authors: Joseph Babb, Joohyung Lee
AAAI 2015 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We propose a new action language called BC+, which closes the gap between action languages and the modern ASP language. Language BC+ is deο¬ned as a high level notation of propositional formulas under the stable model semantics... Then we show how each of BC and C+ can be embedded in BC+, and explain the advantages of BC+ over the two languages. |
| Researcher Affiliation | Academia | Joseph Babb and Joohyung Lee School of Computing, Informatics, and Decision Systems Engineering Arizona State University Tempe, AZ, 85287, USA EMAIL |
| Pseudocode | No | The paper does not contain any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper states "We implemented language BC+ by modifying system CPLUS2ASP", but it does not provide a specific link or explicit statement about the public availability of the source code for the BC+ language itself. |
| Open Datasets | No | The paper is theoretical and does not use datasets for training or evaluation. |
| Dataset Splits | No | The paper does not describe empirical experiments with data, and therefore does not provide specific dataset split information. |
| Hardware Specification | No | The paper is theoretical and does not describe the specific hardware used for any experimental evaluations. |
| Software Dependencies | No | The paper mentions "ASP solvers" and "system CPLUS2ASP", but does not provide specific version numbers for these or any other software dependencies. |
| Experiment Setup | No | The paper is theoretical and does not describe any experimental setup details such as hyperparameters or training configurations. |