UTCS Artificial Intelligence
Julian John Michael
julianjm [at] cs utexas edu
Proving Infinitary Formulas
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
Julian Michael, Undergraduate Honors Thesis, Department of Computer Science, University of Texas at Austin.
The Winograd Schema Challenge and Reasoning about Correlation
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