UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Julian John Michael
Undergraduate Alumni
Email:
julianjm [at] cs utexas edu
Publications
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.
Labs
Formerly affiliated with
Texas Action Group