Back to Search Start Over

Operator-based semantics for choice programs: is choosing losing? (full version)

Authors :
Heyninck, Jesse
Publication Year :
2024

Abstract

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.<br />Comment: Extended version of a paper accepted at KR 2024

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.2407.21556
Document Type :
Working Paper