We argue for a semantical modification of the language DLP$^{<}$. We show by examples that the current DLP$^{<}$ representation in some cases does not provide intuitive answers, in particular when applied to inheritance reasoning. We present and discuss an initial modification of dlp that yields the expected answers in some examples that we consider significant
Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report)
COSTANTINI, STEFANIA;
2002-01-01
Abstract
We argue for a semantical modification of the language DLP$^{<}$. We show by examples that the current DLP$^{<}$ representation in some cases does not provide intuitive answers, in particular when applied to inheritance reasoning. We present and discuss an initial modification of dlp that yields the expected answers in some examples that we consider significantFile in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
ismis-camera-ready.pdf
non disponibili
Licenza:
Non specificato
Dimensione
100.97 kB
Formato
Adobe PDF
|
100.97 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.