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 for simple normal logic programs, various answer …