no code implementations • 18 Apr 2022 • Jorge Fandinno, Vladimir Lifschitz, Nathan Temple
For tight programs, that generalization of completion is known to match the stable model semantics, which is the basis of answer set programming.