Layer supported models of logic programs

Luís Moniz Pereira, Alexandre Miguel Pinto

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

7 Citations (Scopus)


Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement-the Layer Supported Models semantics-which, besides keeping all of LMs' properties, furthermore respects the Well-Founded Model.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning
Subtitle of host publication10th International Conference, LPNMR 2009, Proceedings
Place of PublicationBerlin
Number of pages7
ISBN (Print)3642042376, 9783642042379
Publication statusPublished - 2009
EventLogic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR -
Duration: 1 Jan 2009 → …

Publication series

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


ConferenceLogic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR
Period1/01/09 → …


  • Layering
  • Relevance
  • Semantics
  • Stable Models


Dive into the research topics of 'Layer supported models of logic programs'. Together they form a unique fingerprint.

Cite this