This is where I collect and write things, mostly on art and artificial intelligence. Established in 2010, by Vaishak Belle.
I had invited Joao to give a virtual talk last year here in Edinburgh. This is a comprehensive overview on formalising explanations, inconsistencies and contrastive specifications by characterising classifiers functionally in propositional and first order logic. nice work, and includes his collaboration with Nina among others.