Spencer Killen, Jia-Huai You. Using AFT to Characterize Shen and Eiter's Disjunctive Logic Program Semantics. In Anna Rapberger, Sebastian Rudolph, editors, Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025. Volume 4071 of CEUR Workshop Proceedings, pages 183-195, CEUR-WS.org, 2025. [doi]
Abstract is missing.