Università degli Studi dell'Insubria
Expertise: Mathematical Logic
Currently working on: Non-Classical Logics for AI
Read my entry on Dependence Logic for the Stanford Encyclopedia of Philosophy
Listen to me talk about indecibility and the continuum hypothesis for OggiScienza (Italian language)
Diversity, Dependence and Independence. With Jouko Väänänen. Proceedings of FoIKS 2020.
On Knowledge Dependence in Weighted Description Logic. With Oliver Kutz, Daniele Porello, Guendalina Righetti and Nicolas Troquard. Proceedings of GCAI 2019.
Characterizing downwards closed, strongly first order, relativizable dependencies. Journal of Symbolic Logic, 2019.
Safe Dependency Atoms and Possibility Operators in Team Semantics. In Proceedings of GandALF 2018.
Repairing Ontologies via Axiom Weakening. With Nicolas Troquard, Roberto Confalonieri, Rafael Peñaloza, Daniele Porello, and Oliver Kutz. In Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018). AAAI Press.
An adaptive semantic similarity measure over the Gene Ontology for predicting protein-protein interactionsGo to page
Evolution of homeostasis in neural networks via lateral gene transferGo to page
A simple Java applet demonstrating co-evolution and mimicry in a point-and-click gameGo to page