Forest Agostinelli. A Conflict-Driven Approach for Reaching Goals Specified with Negation as Failure. In Maxim Likhachev, Hana Rudová, Enrico Scala, editors, Eighteenth International Symposium on Combinatorial Search, SOCS 2025, University of Glasgow, Scotland, United Kingdom, August 12-15, 2025. pages 2-10, AAAI Press, 2025. [doi]
Abstract is missing.