We briefly describe the Answer Set Programming System DLV, focusing on some of its peculiar features and mentioning a number of successful applications.
The ASP System DLV: Advancements and Applications
Mario Alviano;Francesco Calimeri;CUTERI, BERNARDO;Carmine Dodaro;Wolfgang Faber;Davide Fuscà;Nicola Leone;Marco Manna;Simona Perri;Francesco Ricca;Pierfrancesco Veltri;Jessica Zangari
2018-01-01
Abstract
We briefly describe the Answer Set Programming System DLV, focusing on some of its peculiar features and mentioning a number of successful applications.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.
