Stabel model implementation of layer supported models by program transformation

Luís Moniz Pereira, Alexandre Miguel Pinto

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


For practical applications, the use of top-down query-driven proof-procedures is convenient for an efficient use and computation of answers using Logic Programs as knowledge bases. A 2-valued semantics for Normal Logic Programs (NLPs) allowing for top-down query-solving is thus highly desirable, but the Stable Models semantics (SM) does not allow it, for lack of the relevance property. To overcome this limitation we introduced in [11], and summarize here, a new 2-valued semantics for NLPs - the Layer Supported Models semantics - which conservatively extends the SM semantics, enjoys relevance and cumulativity, guarantees model existence, and respects the Well-Founded Model. In this paper we exhibit a space and time linearly complex transformation, TR, from one propositional NLP into another, whose Layer Supported Models are precisely the Stable Models of the transform, which can then be computed by extant Stable Model implementations, providing a tool for the immediate generalized use of the new semantics and its applications. TR can be used to answer queries but is also of theoretical interest, for it may be used to prove properties of programs.Moreover, TR can be employed in combination with the top-down query procedure of XSBProlog, and be applied just to the residual program corresponding to a query (in compliance with the relevance property of Layer Supported Models). The XSBXASP interface then allows the program transform to be sent to Smodels for 2-valued evaluation.

Original languageEnglish
Title of host publicationApplications of Declarative Programming and Knowledge Management
Subtitle of host publication18th International Conference, INAP 2009, Revised Selected Papers
EditorsS Abreu, D Seipel
Place of PublicationBerlin
PublisherSpringer Verlag
Number of pages15
ISBN (Electronic)978-3-642-20589-7
ISBN (Print)9783642205880
Publication statusPublished - 2011
EventApplications of Declarative Programming and Knowledge Management - 18th International Conference -
Duration: 1 Jan 2009 → …

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6547 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceApplications of Declarative Programming and Knowledge Management - 18th International Conference
Period1/01/09 → …


  • Layer Supported Models
  • Layering
  • Program Transformation
  • Relevance
  • Stable Models


Dive into the research topics of 'Stabel model implementation of layer supported models by program transformation'. Together they form a unique fingerprint.

Cite this