Layer supported models of logic programs
L Moniz Pereira, AM Pinto - … 2009, Potsdam, Germany, September 14-18 …, 2009 - Springer
… 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. … The refinement to the LMs we
now propose — Layer Supported Models (LSMs) semantics — obeys the proviso that each
model respects the WFM. To achieve this we simply refine the notion of layering original of
[5]. Intuitively, a … The Layer Supported Models semantics we now present is the result of …
a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs’
properties, furthermore respects the WellFounded Model. … The refinement to the LMs we
now propose — Layer Supported Models (LSMs) semantics — obeys the proviso that each
model respects the WFM. To achieve this we simply refine the notion of layering original of
[5]. Intuitively, a … The Layer Supported Models semantics we now present is the result of …
[CITATION][C] Layer supported models of logic programs
S Costantini, GA Lanzarone, G Magliocco - Procs. 1996 Joint International Conference and …
Showing the best results for this search. See all results