Refining Gelfond Rationality Principle: Towards More Comprehensive Foundational Principles for Answer Set Semantics
arXiv:2507.01833v2 Announce Type: replace
Abstract: Non-monotonic logic programming is the basis for a declarative problem solving paradigm known as answer set programming (ASP). Departing from the seminal definition by Gelfond and Lifschitz in 1988 f…