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