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..
An Operational Semantics for a Fragment of PRS
Authors: Lavindra de Silva, Felipe Meneguzzi, Brian Logan
IJCAI 2018 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | This paper takes a first step towards closing this gap, by giving a formal semantics for a significant fragment of PRS. We prove key properties of the semantics relating to PRS-specific programming constructs, and show that even the fragment of PRS we consider is strictly more expressive than the plan constructs found in typical BDI languages. |
| Researcher Affiliation | Academia | Lavindra de Silva1, Felipe Meneguzzi2 and Brian Logan3 1 Institute for Advanced Manufacturing, University of Nottingham, Nottingham, UK 2 Pontifical Catholic University of Rio Grande do Sul, Porto Alegre, Brazil 3 School of Computer Science, University of Nottingham, Nottingham, UK |
| Pseudocode | Yes | Fig. 2 shows the derivation rules for actions, belief updates, and goal commitment. |
| Open Source Code | No | The paper is theoretical, providing formal semantics and proofs, and does not mention the release of source code for an implementation. |
| Open Datasets | No | This is a theoretical paper focused on formal semantics and proofs; it does not use or refer to any datasets for training. |
| Dataset Splits | No | This is a theoretical paper focused on formal semantics and proofs; it does not use datasets or specify any dataset splits for validation. |
| Hardware Specification | No | As a theoretical paper, it does not involve computational experiments that would require hardware specifications. |
| Software Dependencies | No | The paper describes a formal semantic framework and proofs, not an implementation, and therefore does not specify any software dependencies with version numbers. |
| Experiment Setup | No | This is a theoretical paper, and no experiments were conducted; therefore, no experimental setup details, hyperparameters, or training configurations are provided. |