Epistemic Logic Programs (ELPs) are an extension of Answer Set Programming (ASP) with epistemic operators that allow for a form of meta-reasoning, that is, reasoning over multiple ...
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. ASP is an outgrowth of research on the use of nonmonotonic ...
I Corsi di Laurea e Laurea Magistrale in Informatica del Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica dell’Università degli Studi ...
La lezione di Ingegneria del Software del giorno 19/11 si terrà totalmente in DaD, sul canale GENERALE del corso. Saluti Henry Muccini ...
La lezione del 16/11/2021 di "linguaggi di programmazione e compilatori" è cancellata e sarà recuperata in data da definire. ...
Si ricorda che dall’8 al 12 novembre 2021 si terrà la sessione straordinaria di esame riservata agli studenti che soddisfano i seguenti ...