Annunci /

Course

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 ...

Course

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 ...

Computer Science Career Day

I Corsi di Laurea e Laurea Magistrale in Informatica del Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica dell’Università degli Studi ...

Lezione di Ingegneria del Software - 19/11

La lezione di Ingegneria del Software del giorno 19/11 si terrà totalmente in DaD, sul canale GENERALE del corso. Saluti Henry Muccini ...

Lezione Linguaggi di programmazione e compilatori

La lezione del 16/11/2021 di "linguaggi di programmazione e compilatori" è cancellata e sarà recuperata in data da definire. ...

Sessione straordinaria Novembre 2021

Si ricorda che dall’8 al 12 novembre 2021 si terrà la sessione straordinaria di esame riservata agli studenti che soddisfano i seguenti ...

Utilizziamo i cookie per offrirti il ​​nostro servizio. Continuando a utilizzare questo sito acconsenti al nostro utilizzo dei cookie come descritto nella nostra policy.