fringe
发表于 2025-4-1 02:05:42
Fiona Brady,Laurel Evelyn Dysonrther observed that all logic program semantics fall into three semantical points of view: the skeptical, stable, and partial-stable. Based on these observations, we classify disjunctive logic program semantics into six different categories, and discuss the relationships among various semantics.