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

address = "Germany",

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 - https://www.scopus.com/pages/publications/70349854901

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)). doi: 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