DS-2020-07: Sandoval, Ana Lucia Vargas (2020) On the Path to the Truth: Logical & Computational Aspects of Learning. Doctoral thesis, University of Amsterdam.
MoL-2015-27: Sandoval, Ana Lucia Vargas (2015) Learning Deductive Reasoning. [Report]