CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe 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 |
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11697/36369
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021