Estensione dell'Answer Set programming con simboli di funzione, identificando frammenti decidibili e semidecidibili.
Extending disjunctive logic programming with functions: Theoretical and algorithmic issues / Bonatti, PIERO ANDREA. - (2007). (Intervento presentato al convegno Disjunctive logic programming: Extensioins and optimizations nel March 2007).
Extending disjunctive logic programming with functions: Theoretical and algorithmic issues
BONATTI, PIERO ANDREA
2007
Abstract
Estensione dell'Answer Set programming con simboli di funzione, identificando frammenti decidibili e semidecidibili.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
