Pubblicazioni

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels

2023 - THEORY AND PRACTICE OF LOGIC PROGRAMMING
Barbara, Vito; Guarascio, Massimo; Leone, Nicola; Manco, Giuseppe; Quarta, Alessandro; Ricca, Francesco; Ritacco, Ettore

Improved Answer-Set Programming Encodings for Abstract Argumentation

2015 - THEORY AND PRACTICE OF LOGIC PROGRAMMING
GAGGL, SARAH A.; MANTHEY, NORBERT; RONCA, ALESSANDRO; WALLNER, JOHANNES P.; WOLTRAN, STEFAN

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma