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

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.
Kakas, Ac; Mancarella, PAOLO MARIA
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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/19762
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 29
  • ???jsp.display-item.citation.isi??? 20
social impact