Layer supported models of logic programs

Luís Moniz Pereira; Alexandre Miguel Pinto

doi:10.1007/978-3-642-04238-6_41

Layer supported models of logic programs

Luís Moniz Pereira, Alexandre Miguel Pinto

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Logic Programming and Nonmonotonic Reasoning
Subtitle of host publication	10th International Conference, LPNMR 2009, Proceedings
Place of Publication	Berlin
Publisher	Springer-Verlag
Pages	450-456
Number of pages	7
ISBN (Print)	3642042376, 9783642042379
DOIs	https://doi.org/10.1007/978-3-642-04238-6_41
Publication status	Published - 2009
Event	Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR - Duration: 1 Jan 2009 → …

Publication series

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

Conference

Conference	Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR
Period	1/01/09 → …

Keywords

Layering
Relevance
Semantics
Stable Models

Access to Document

10.1007/978-3-642-04238-6_41

Cite this

Moniz Pereira, L., & Pinto, A. M. (2009). Layer supported models of logic programs. In Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Proceedings (pp. 450-456). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5753 LNAI). Springer-Verlag. https://doi.org/10.1007/978-3-642-04238-6_41

Moniz Pereira, Luís ; Pinto, Alexandre Miguel. / Layer supported models of logic programs. Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Proceedings. Berlin : Springer-Verlag, 2009. pp. 450-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a4fa3cbc868c465ca903fce281e5a5c5,

title = "Layer supported models of logic programs",

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.",

keywords = "Layering, Relevance, Semantics, Stable Models",

author = "{Moniz Pereira}, Lu{\'i}s and Pinto, {Alexandre Miguel}",

year = "2009",

doi = "10.1007/978-3-642-04238-6_41",

language = "English",

isbn = "3642042376",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "450--456",

booktitle = "Logic Programming and Nonmonotonic Reasoning",

note = "Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR ; Conference date: 01-01-2009",

}

Moniz Pereira, L & Pinto, AM 2009, Layer supported models of logic programs. in Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5753 LNAI, Springer-Verlag, Berlin, pp. 450-456, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR, 1/01/09. https://doi.org/10.1007/978-3-642-04238-6_41

Layer supported models of logic programs. / Moniz Pereira, Luís; Pinto, Alexandre Miguel.

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Proceedings. Berlin : Springer-Verlag, 2009. p. 450-456 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5753 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Layer supported models of logic programs

AU - Moniz Pereira, Luís

AU - Pinto, Alexandre Miguel

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Layering

KW - Relevance

KW - Semantics

KW - Stable Models

UR - http://www.scopus.com/inward/record.url?scp=70349854901&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-04238-6_41

DO - 10.1007/978-3-642-04238-6_41

M3 - Conference contribution

SN - 3642042376

SN - 9783642042379

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 450

EP - 456

BT - Logic Programming and Nonmonotonic Reasoning

PB - Springer-Verlag

CY - Berlin

T2 - Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR

Y2 - 1 January 2009

ER -

Moniz Pereira L, Pinto AM. Layer supported models of logic programs. In Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Proceedings. Berlin: Springer-Verlag. 2009. p. 450-456. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-04238-6_41

Layer supported models of logic programs

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this