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]

Authors

Zachary Hansen

This author has not been identified. Look up 'Zachary Hansen' in Google

Yuliya Lierler

This author has not been identified. Look up 'Yuliya Lierler' in Google