Sciweavers

Share
LPNMR
2009
Springer

Layer Supported Models of Logic Programs

9 years 9 months ago
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.
Luís Moniz Pereira, Alexandre Miguel Pinto
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where LPNMR
Authors Luís Moniz Pereira, Alexandre Miguel Pinto
Comments (0)
books