Characterizing downwards closed, strongly first order, relativizable dependencies. Journal of Symbolic Logic. Preprint here.
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