Julian John Michael
Undergraduate Alumni
Proving Infinitary Formulas 2016
Amelia Harrison, Vladimir Lifschitz, and Julian Michael, Theory and Practice of Logic Programming, Vol. 16, 5-6 (2016), pp. 787--799.
The Theory of Correlation Formulas and Their Application to Discourse Coherence 2015
Julian Michael, Undergraduate Honors Thesis, Department of Computer Science, University of Texas at Austin.
The Winograd Schema Challenge and Reasoning about Correlation 2015
Daniel Bailey, Amelia Harrison, Yuliya Lierler, Vladimir Lifschitz, and Julian Michael, In Working Notes of the Symposium on Logical Formalizations of Commonsense Reasoning 2015. AAAI Press.
Formerly affiliated with Texas Action Group