Please note, due to essential maintenance online transactions will not be possible between 09:00 and 13:00 BST, on Monday 20th January 2020 (04:00-08:00 EDT). We apologise for any inconvenience.
Several extensions of the stable model semantics are available to describe ‘intensional’ functions—functions that can be described in terms of other functions and predicates by logic programs. Such functions are useful for expressing inertia and default behaviors of systems, and can be exploited for alleviating the grounding bottleneck involving functional fluents. However, the extensions were defined in different ways under different intuitions. In this paper we provide several reformulations of the extensions, and note that they are in fact closely related to each other and coincide on large syntactic classes of logic programs.