Semantics for Conditional Literals via the SM Operator

Zachary Hansen, Yuliya Lierler. Semantics for Conditional Literals via the SM Operator. In Georg Gottlob, Daniela Inclezan, Marco Maratea, editors, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings. Volume 13416 of Lecture Notes in Computer Science, pages 259-272, Springer, 2022. [doi]

Abstract

Abstract is missing.