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

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
File 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

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/11697/36369
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact