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)

Abstract

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
PublisherSpringer-Verlag
Pages450-456
Number of pages7
ISBN (Print)3642042376, 9783642042379
DOIs
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

Conference

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

Keywords

  • Layering
  • Relevance
  • Semantics
  • Stable Models

Fingerprint

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

Cite this