Julian John Michael
Undergraduate Alumni
Finite Proofs for Infinitary Formulas 2015
Amelia Harrison, Vladimir Lifschitz and Julian Michael, To Appear In Working Notes of the Workshop on Answer Set Programming and Other Computing Paradigms 2015.
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