Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report)

Costantini, S; Otero, R. P.; Provetti, A.; Son, T. C.

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.

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

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11697/36369

Titolo:	Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report)
Autori interni:	COSTANTINI, STEFANIA
Data di pubblicazione:	2002
Rivista:	LECTURE NOTES IN COMPUTER SCIENCE
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:

Non ci sono file associati a questo prodotto.

Citazioni
ND

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.