Operator-based semantics for choice programs: is choosing losing? (full version)
<|reference_start|>Operator-based semantics for choice programs: is choosing losing? (full version): Choice constructs are an important part of the language of logic programming, yet the study of their semantics has been a challenging task. So far, only two-valued semantics have been studied, and the different proposals for such semantics have not been compared in a principled way. In this paper, an operator-based framework allow for the definition and comparison of different semantics in a principled way is proposed.<|reference_end|>
@article{heyninck2024operator-based,
    title={Operator-based semantics for choice programs: is choosing losing? (full
  version)},
    author={Jesse Heyninck},
    journal={arXiv preprint arXiv:2407.21556},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.21556},
    primaryClass={cs.AI cs.LO}
}