Jesse Heyninck. Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report). In Kai Sauerwald, Matthias Thimm, editors, 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), Rhodes, Greece, September 2-4, 2023. Volume 3464 of CEUR Workshop Proceedings, pages 74-83, CEUR-WS.org, 2023. [doi]
Abstract is missing.