UTCS Artificial Intelligence
Julian John Michael
julianjm [at] cs utexas edu
Finite Proofs for Infinitary Formulas
Amelia Harrison, Vladimir Lifschitz and Julian Michael, To Appear In
Working Notes of the Workshop on Answer Set Programming and Other Computing Paradigms
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