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, P.A.. - (2007). (Disjunctive logic programming: Extensioins and optimizations 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.
