Workshop on Logical Consequence: Calculi and semantics
The event will take place on December 3rd in Aula 113. For more details, see here.
Month: November 2019
2nd Workshop on Logic and Information
The event will take place on November 28 in Aula Paci. For more details, see here.
New Paper
Giuseppe Primiero has published a paper on logics for design in the Journal of Logic and Computation, exz014, https://doi.org/10.1093/logcom/exz014
Logic Seminar Talk
Jacopo Tagliabue (COVEO) gave a talk on 5th November on ”A Rose by any other Name”. Exploiting Knowledge Graphs for Lexical Learning in Information Retrieval