Anytime answer set optimization via unsatisfiable core shrinking
ALVIANO, Mario;DODARO C.
2016-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
1608.00731.pdf
accesso aperto
Descrizione: Accepted for publication in Theory and Practice of Logic Programming , Volume 16 , Special Issue 5-6: 32nd International Conference on Logic Programming , September 2016 , pp. 533 - 551. Publisher version available at https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/anytime-answer-set-optimization-via-unsatisfiable-core-shrinking/55F4305D2BAAD203E8177F3955C9DEEA; DOI: https://doi.org/10.1017/S147106841600020X. All Rights Reserved. Source: Cambridge University Press
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
209.13 kB
Formato
Adobe PDF
|
209.13 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.