@inproceedings{753e2a4dbd8c4ee0bb4fa5f10ce5e34b,
title = "Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report)",
abstract = "Choice constructs are an important addition to the language of logic programming that greatly increase its modeling capabilities. Their semantics are non-deterministic, in the sense that their might be several interpretations that satisfy a choice construct. In this paper, the semantics of logic programs with choice operators are studied using the recently proposed non-deterministic approximation fixpoint theory. We show that this allows to represent the semantics of Liu, Pontenelli, Son and Trusczczy{\'n}ski and generalize these semantics to the three-valued case. Furthermore, the framework allows us to give a principled account of the difference and similarities between stable model semantics of choice programs and disjunctive logic programs.",
keywords = "Approximation fixpoint theory, choice constructs, logic programming",
author = "Jesse Heyninck",
note = "Publisher Copyright: {\textcopyright} 2023 Copyright for this paper by its authors.; 21st International Workshop on Non-Monotonic Reasoning, NMR 2023 ; Conference date: 02-09-2023 Through 04-09-2023",
year = "2023",
month = sep,
language = "English",
volume = "3464",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",
pages = "74--83",
editor = "Kai Sauerwald and Matthias Thimm",
booktitle = "Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023)",
}