Action Language BC+: Preliminary Report
Authors: Joseph Babb, Joohyung Lee
AAAI 2015 | Conference PDF | Archive PDF | Plain Text | 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 {Joseph.Babb,joolee}@asu.edu |
| 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. |