Possibilistic ASP Base Revision by Certain Input
Authors: Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel
IJCAI 2018 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | The paper proposes two approaches of rule-based revision operators and presents their semantic characterization in terms of possibilistic distribution. This semantic characterization allows for equivalently considering the evolution of syntactic logic programs and the evolution of their semantic content. It then studies the logical properties of the proposed operators and gives complexity results. |
| Researcher Affiliation | Academia | Laurent Garcia1, Claire Lef evre1, Odile Papini2, Igor St ephan1 and Eric W urbel2 1 LERIA, Universit e d Angers, France 2 Aix Marseille Univ, Universit e de Toulon, CNRS, LIS, Marseille, France {laurent.garcia,claire.lefevre,igor.stephan}@univ-angers.fr, {odile.papini,eric.wurbel}@univ-amu.fr |
| Pseudocode | No | The paper does not contain structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any statements or links indicating that open-source code for the methodology is available. |
| Open Datasets | No | The paper is theoretical and does not use datasets for training, validation, or testing. |
| Dataset Splits | No | The paper is theoretical and does not use datasets, thus no dataset split information is provided for validation. |
| Hardware Specification | No | The paper is theoretical and does not describe any specific hardware used for experiments. |
| Software Dependencies | No | The paper does not provide specific software dependencies with version numbers. |
| Experiment Setup | No | As this is a theoretical paper, no specific experimental setup details like hyperparameters or training configurations are provided. |