Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)

Simple item page
dc.creatorCalimeri, Francesco
dc.creatorLeone, Nicola
dc.date2004-04-05
dc.date.accessioned2026-07-07T03:21:05Z
dc.date.available2026-07-07T03:21:05Z
dc.descriptionThis document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues.
dc.description7 pages
dc.identifierhttps://arxiv.org/abs/cs/0404012
dc.identifierhttp://arxiv.org/abs/cs/0404012
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32067
dc.subjectArtificial Intelligence
dc.subjectI.2.4
dc.titleToward the Implementation of Functions in the DLV System (Preliminary Technical Report)
dc.typetext

Files

Collections

arXiv