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
Titolo: | Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report) | |
Autori: | ||
Data di pubblicazione: | 2002 | |
Rivista: | ||
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 significant | |
Handle: | http://hdl.handle.net/11697/36369 | |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
ismis-camera-ready.pdf | N/A | Non specificato | Administrator Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.