On the stable model semantics for intensional functions

Michael Bartholomew, Joohyung Lee

Research output: Contribution to journalArticlepeer-review

9 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)863-876
Number of pages14
JournalTheory and Practice of Logic Programming
Issue number4-5
StatePublished - Jul 2013


  • answer set programming
  • intensional functions
  • stable models

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'On the stable model semantics for intensional functions'. Together they form a unique fingerprint.

Cite this