ZAMAYLA, ARNEL DUSARAN
ZAMAYLA, ARNEL DUSARAN
Dipartimento di Matematica e Informatica
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
A speech about generative datalog and non-measurable sets
2021-01-01 Alviano, M.; Zamayla, A.
Data Validation Meets Answer Set Programming
2021-01-01 Alviano, Mario; Dodaro, Carmine; Zamayla, ARNEL DUSARAN
ValAsp: A Tool for Data Validation in Answer Set Programming
2022-01-01 Alviano, M.; Dodaro, C.; Zamayla, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A speech about generative datalog and non-measurable sets | 1-gen-2021 | Alviano, M.; Zamayla, A. | |
Data Validation Meets Answer Set Programming | 1-gen-2021 | Alviano, Mario; Dodaro, Carmine; Zamayla, ARNEL DUSARAN | |
ValAsp: A Tool for Data Validation in Answer Set Programming | 1-gen-2022 | Alviano, M.; Dodaro, C.; Zamayla, A. |