Layer Supported Models of Logic Programs

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 WellFounded Model.

• Type: Conference
• Year: 2009
• Where: LPNMR
• Authors: Luís Moniz Pereira, Alexandre Miguel Pinto
• Keywords: Artificial Intelligence, Layer Supported Models, Layered Models Semantics, LPNMR 2009, Models Semantics