We show that two recently presented proposals for the semantics of normal logic programs, namely partial stable models of Sacca and Zaniolo and preferred extensions of Phan Minh Dung coincide.
PREFERRED EXTENSIONS ARE PARTIAL STABLE MODELS
MANCARELLA, PAOLO MARIA
1992-01-01
Abstract
We show that two recently presented proposals for the semantics of normal logic programs, namely partial stable models of Sacca and Zaniolo and preferred extensions of Phan Minh Dung coincide.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.